Online Bücher bei 1Advd.ch bestellen

Jean-Francois Raskin

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: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings (Buch) Sprache: English Veröffentlichung: September 2014 (Auf Bestellung) Einband: Kartoniert	SFr. 70.00 bestellen
	Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings (Buch) Sprache: English Veröffentlichung: September 2007 (Auf Bestellung) Einband: Kartoniert	SFr. 70.00 bestellen
Seite 1 von 1