Specifying message passing and time-critical systems with temporal logic

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 , c1992
Omfang	VIII, 164 s. : ill.
Opplysninger	Revidert utgave av avh. (doktorgrad) - Technische Hogeschool Eindhoven, 1989
Emner	Logikkprogrammering
ISBN	0387562834. - 3540562834

Biblioteksøk