Titel: Specification and Compositional Verification of Real-Time Systems | Medium: Taschenbuch | Autor: Jozef Hooman | Einband: Kartoniert / Broschiert | Inhalt: x / 242 S. | Sprache: Englisch | Seiten: 252 | Maße: 235 x 155 x 14 mm | Erschienen: 27.11.1991 | Anbieter: Faboplay.
eBay