| 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: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
(Buch) Sprache: English
Veröffentlichung: Juli 2015
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
(Buch) Sprache: English
Veröffentlichung: Juli 2015
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised
(Buch) Sprache: English
Veröffentlichung: März 2011
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Validation of Evolving Software
(Buch) Sprache: English
Veröffentlichung: Juli 2015
(Auf Bestellung)
Einband: Gebunden | SFr. 70.00
bestellen |
 | Validation of Evolving Software
(Buch) Sprache: English
Veröffentlichung: Oktober 2016
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Verified Software: Theories, Tools and Experiments - 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Pap
(Buch) Sprache: English
Veröffentlichung: Oktober 2014
(Auf Bestellung)
Einband: Kartoniert | SFr. 68.00
bestellen |
| Autor von: |
 | Decision Procedures: An Algorithmic Point of View
(Buch) Sprache: English
Veröffentlichung: Januar 2017
(Auf Bestellung)
Einband: Gebunden | SFr. 110.00
bestellen |
 | Decision Procedures: An Algorithmic Point of View
(Buch) Sprache: English
Veröffentlichung: Juli 2018
(Auf Bestellung)
Einband: Kartoniert | SFr. 83.00
bestellen |
| Seite 1 von 1 |
Newsfeed | 
Facebook | 
Twitter
