Real-time systems : formal specification and automatic 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 , 2008
Omfang	XVI, 320 s. : ill.
Emner	Sanntidssystemer sanntids system formelle spesifikasjon verifisering sanntidsprosessering
Dewey	004.33
ISBN	9780521883337

Biblioteksøk