Online Bücher bei 1Advd.ch bestellen

Shuvendu K. Lahiri

Sortierung: Titel - Veröffentlichung
Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch
Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette)
Herausgeber von:
	Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings (Buch) Sprache: English Veröffentlichung: September 2018 (Auf Bestellung) Einband: Kartoniert	SFr. 70.00 bestellen
	Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I (Buch) Sprache: English Veröffentlichung: Juli 2020 (Auf Bestellung) Einband: Kartoniert	SFr. 55.90 bestellen
	Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II (Buch) Sprache: English Veröffentlichung: Juli 2020 (Auf Bestellung) Einband: Kartoniert	SFr. 55.90 bestellen
Seite 1 von 1