Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and h - detaljert visning

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 , c2005
Omfang	XII, 223 s. : ill.
Emner	Automater (Matematikk) Semantikk Tidssystemer - Hybride systemer
ISBN	3540255761. - 9783540255765

Biblioteksøk