Online Bücher bei 1Advd.ch bestellen

Hana Chockler

Suche speichern: Du erhälst eine eMail sobald ein neuer Artikel mit diesen Kriterien eingetragen wird

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: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-1 (Buch) Sprache: English Veröffentlichung: Juli 2018 (Auf Bestellung) Einband: Kartoniert	SFr. 69.00 bestellen
	Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-1 (Buch) Sprache: English Veröffentlichung: Juli 2018 (Auf Bestellung) Einband: Kartoniert	SFr. 69.00 bestellen
	Hardware and Software: Verification and Testing - 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revis (Buch) Sprache: English Veröffentlichung: April 2009 (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
Autor von:
	Coverage Metrics for Model Checking (Buch) Sprache: English Veröffentlichung: Juli 2011 (Auf Bestellung) Einband: Kartoniert	SFr. 77.00 bestellen
Seite 1 von 1