Reactive systems : modelling, specification and verification

Luca Aceto ... [et al.]
Bok · Engelsk · 2007

Utgitt	Cambridge : Cambridge University Press , 2007
Omfang	XVI, 284 s. : ill.
Emner	Datamaskiner - Verifisering Systemspesifikasjon (Databehandling) Systemutvikling (Databehandling)
ISBN	9780521875462