Verification of reactive systems : formal methods and algorithms

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	Berlin : Springer , c2004
Omfang	600 s.
Emner	Computer algorithms Computer systems - Verification Formal methods (Computer science) Formelle metoder Vis mer... Reaktive systemer Verifikasjon
ISBN	3540002960

Biblioteksøk