| 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: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I
(Buch) Sprache: English
Veröffentlichung: Juli 2025
(Auf Bestellung)
Einband: Kartoniert | SFr. 56.90
bestellen |
 | Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II
(Buch) Sprache: English
Veröffentlichung: Juli 2025
(Auf Bestellung)
Einband: Kartoniert | SFr. 56.90
bestellen |
 | Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III
(Buch) Sprache: English
Veröffentlichung: Juli 2025
(Auf Bestellung)
Einband: Kartoniert | SFr. 56.90
bestellen |
 | Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV
(Buch) Sprache: English
Veröffentlichung: Juli 2025
(Auf Bestellung)
Einband: Kartoniert | SFr. 56.90
bestellen |
 | Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedi
(Buch) Sprache: English
Veröffentlichung: Januar 2019
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
(Buch) Sprache: English
Veröffentlichung: November 2018
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
| Seite 1 von 1 |
Newsfeed | 
Facebook | 
Twitter
