Specification and compositional verification of real-time systems

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 , c1991
Omfang	VIII, 235 s.
Opplysninger	Revidert utgave av forfatterens avh. (Ph. D.) - Technische Hogeschool Eindhoven.
Emner	Real-time data processing Sanntidssystemer sanntidssystemer programmering verifisering
ISBN	0387549471. - 3540549471

Biblioteksøk