| 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. 135.00
bestellen |
 | Handbook of Model Checking
(Buch) Sprache: English
Veröffentlichung: Juni 2018
(Auf Bestellung)
Einband: Gebunden | SFr. 178.00
bestellen |
 | Handbook of Model Checking
(Buch) Sprache: English
Veröffentlichung: November 2020
(Auf Bestellung)
Einband: Kartoniert | SFr. 169.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. 70.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. 70.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 |
Newsfeed | 
Facebook | 
Twitter
