Treffer: Real-time systems
Titel:
Real-time systems : formal specification and automatic verification / Ernst-Rüdiger Olderog and Henning Dierks
Verantwortlich:
Veröffentlicht:
Cambridge : Cambridge University Press, 2008
Vertrieb:
Cambridge, UK : Cambridge University Press
Umfang:
1 Online-Ressource (xvi, 320 pages)
Publikationstyp:
Sprache:
Englisch
Anmerkungen:
Title from publisher's bibliographic system (viewed on 05 Oct 2015)
ISBN:
9780511619953 ; 9780521883337 (Sekundärausgabe)