| Sortierung: Titel - Veröffentlichung |
| Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch |
| Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette) |
| Herausgeber von: |
 | Compositionality: The Significant Difference - International Symposium, COMPOS'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures
(Buch) Sprache: English
Veröffentlichung: Dezember 1998
(Auf Bestellung)
Einband: Kartoniert | SFr. 134.00
bestellen |
 | Hybrid Systems: Computation and Control - 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
(Buch) Sprache: English
Veröffentlichung: März 2003
(Auf Bestellung)
Einband: Kartoniert | SFr. 135.00
bestellen |
 | Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Pap
(Buch) Sprache: English
Veröffentlichung: Februar 2010
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings
(Buch) Sprache: English
Veröffentlichung: Oktober 1989
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Verification of Sequential and Concurrent Programs
(Buch) Sprache: English
Veröffentlichung: März 2012
(Auf Bestellung)
Einband: Kartoniert | SFr. 110.00
bestellen |
 | Verification of Sequential and Concurrent Programs
(Buch) Sprache: English
Veröffentlichung: Oktober 2009
(Auf Bestellung)
Einband: Gebunden | SFr. 135.00
bestellen |
| Autor von: |
 | Temporal Verification of Reactive Systems: Safety
(Buch) Sprache: English
Veröffentlichung: August 1995
(Auf Bestellung)
Einband: Gebunden | SFr. 134.00
bestellen |
 | Temporal Verification of Reactive Systems: Safety
(Buch) Sprache: English
Veröffentlichung: August 2012
(Auf Bestellung)
Einband: Kartoniert | SFr. 146.00
bestellen |
 | The Temporal Logic of Reactive and Concurrent Systems: Specification
(Buch) Sprache: English
Veröffentlichung: Oktober 2012
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | The Temporal Logic of Reactive and Concurrent Systems: Specification
(Buch) Sprache: English
Veröffentlichung: Dezember 1991
(Auf Bestellung)
Einband: Gebunden | SFr. 146.00
bestellen |
| Seite 1 von 1 |
Newsfeed | 
Facebook | 
Twitter
