| 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: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
(Buch) Sprache: English
Veröffentlichung: Juli 2019
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
(Buch) Sprache: English
Veröffentlichung: Juli 2019
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers
(Buch) Sprache: English
Veröffentlichung: Dezember 2007
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
(Buch) Sprache: English
Veröffentlichung: Januar 2013
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Pa
(Buch) Sprache: English
Veröffentlichung: Juli 2024
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
| Seite 1 von 1 |
Newsfeed | 
Facebook | 
Twitter
