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: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-2 (Buch) Sprache: English Veröffentlichung: August 2014 (Auf Bestellung) Einband: Kartoniert | SFr. 141.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 |
| Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Pro (Buch) Sprache: English Veröffentlichung: November 2016 (Auf Bestellung) Einband: Kartoniert | SFr. 69.00 bestellen |
| Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18¿19, 2021, and 14th International Workshop, NSV 2021, (Buch) Sprache: English Veröffentlichung: Februar 2022 (Auf Bestellung) Einband: Kartoniert | SFr. 76.00 bestellen |
| Trusted Systems: 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings (Buch) Sprache: English Veröffentlichung: November 2013 (Auf Bestellung) Einband: Kartoniert | SFr. 69.00 bestellen |
Autor von: |
| Decidability of Parameterized Verification (Buch) Sprache: English Veröffentlichung: September 2015 (Auf Bestellung) Einband: Kartoniert | SFr. 63.00 bestellen |
Seite 1 von 1 |