Reactive systems : modelling, specification and verification

Søk kun i bestemt felt Avgrens på brukernivå barn, voksen osv

Avgrens på format. (Bok, DVD, Lydbok, etc.) Avgrens på språk

Fra år

Til år


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

Biblioteksøk