Online Bücher bei 1Advd.ch bestellen

Étienne André

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: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I (Buch) Sprache: English Veröffentlichung: Oktober 2023 (Auf Bestellung) Einband: Kartoniert	SFr. 109.00 bestellen
	Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II (Buch) Sprache: English Veröffentlichung: Oktober 2023 (Auf Bestellung) Einband: Kartoniert	SFr. 103.00 bestellen
	Formal Methods and Software Engineering: 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10–13, 202 (Buch) Sprache: English Veröffentlichung: November 2025 (Auf Bestellung) Einband: Kartoniert	SFr. 103.00 bestellen
	Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceeding (Buch) Sprache: English Veröffentlichung: August 2019 (Auf Bestellung) Einband: Kartoniert	SFr. 70.00 bestellen
Seite 1 von 1