Online Bücher bei 1Advd.ch bestellen

Alessandro Cimatti

Sortierung: Titel - Veröffentlichung
Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch
Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette)
Herausgeber von:
	Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, (Buch) Sprache: English Veröffentlichung: Mai 2006 (Auf Bestellung) Einband: Kartoniert	SFr. 70.00 bestellen
	Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings (Buch) Sprache: English Veröffentlichung: September 2023 (Auf Bestellung) Einband: Kartoniert	SFr. 90.00 bestellen
	Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings (Buch) Sprache: English Veröffentlichung: August 2017 (Auf Bestellung) Einband: Kartoniert	SFr. 70.00 bestellen
	Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings (Buch) Sprache: English Veröffentlichung: Juni 2012 (Auf Bestellung) Einband: Kartoniert	SFr. 70.00 bestellen
Seite 1 von 1