Edmund M. Clarke |
Sortierung: Titel - Veröffentlichung | ||
Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch | ||
Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette) | ||
Herausgeber von: | ||
Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings (Buch) Sprache: English Veröffentlichung: Oktober 1991 (Auf Bestellung) Einband: Kartoniert | SFr. 69.00 bestellen | |
Handbook of Model Checking (Buch) Sprache: English Veröffentlichung: Juni 2018 (Auf Bestellung) Einband: Gebunden | SFr. 168.00 bestellen | |
Handbook of Model Checking (Buch) Sprache: English Veröffentlichung: November 2020 (Auf Bestellung) Einband: Kartoniert | SFr. 147.00 bestellen | |
Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised (Buch) Sprache: English Veröffentlichung: Januar 2011 (Auf Bestellung) Einband: Kartoniert | SFr. 69.00 bestellen | |
Autor von: | ||
Model Checking, second edition (Buch) Sprache: English Veröffentlichung: Dezember 2018 (Auf Bestellung) Einband: Gebunden | SFr. 91.00 bestellen | |
Seite 1 von 1 |