Treffer: Modeling and verification of real-time systems

Titel:
Modeling and verification of real-time systems : formalisms and software tools / edited by Stephan Merz and Nicolas Navet
Beteiligt:
Merz, Stephan (Herausgeber) 
Veröffent­licht:
Hoboken, NJ : Wiley, 2008
London : ISTE, 2008
Umfang:
393 Seiten : Diagramme
Format:
Buch
Sprache:
Englisch
RVK-Notation:
ST 234 ST 170
Schlagworte:
ISBN:
1848210132 ; 9781848210134

Zusatz-Informationen

Zusatz-Funktionen