Online Bücher bei 1Advd.ch bestellen

Naijun Zhan

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:
	Dependable Software Engineering: Theories, Tools, and Applications - Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, (Buch) Sprache: English Veröffentlichung: Oktober 2016 (Auf Bestellung) Einband: Kartoniert	SFr. 70.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 Methods: 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings (Buch) Sprache: English Veröffentlichung: November 2021 (Auf Bestellung) Einband: Kartoniert	SFr. 146.00 bestellen
	Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday (Buch) Sprache: English Veröffentlichung: September 2018 (Auf Bestellung) Einband: Kartoniert	SFr. 69.00 bestellen
Autor von:
	Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach (Buch) Sprache: English Veröffentlichung: November 2016 (Auf Bestellung) Einband: Gebunden	SFr. 153.00 bestellen
	Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach (Buch) Sprache: English Veröffentlichung: Juni 2018 (Auf Bestellung) Einband: Kartoniert	SFr. 153.00 bestellen
Seite 1 von 1