Real-Time Systems
Formal Specification and Automatic Verification
Ernst-Rudiger Olderog, Henning Dierks
PDF
ca. 101,39 €
Cambridge University Press 
Naturwissenschaften, Medizin, Informatik, Technik / Hardware
Beschreibung
Weitere Titel von diesem Autor
Weitere Titel in dieser Kategorie
Kundenbewertungen
