Online Bücher bei 1Advd.ch bestellen

Corina S. Pasareanu

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: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Buch) Sprache: English Veröffentlichung: Juli 2015 (Auf Bestellung) Einband: Kartoniert	SFr. 70.00 bestellen
	Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Buch) Sprache: English Veröffentlichung: Juli 2015 (Auf Bestellung) Einband: Kartoniert	SFr. 70.00 bestellen
	Theoretical Aspects of Computing - ICTAC 2022: 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings (Buch) Sprache: English Veröffentlichung: Oktober 2022 (Auf Bestellung) Einband: Kartoniert	SFr. 69.00 bestellen
Seite 1 von 1