Online Bücher bei 1Advd.ch bestellen

Grigore Rosu

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:
	Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Buch) Sprache: English Veröffentlichung: Juli 2008 (Auf Bestellung) Einband: Kartoniert	SFr. 70.00 bestellen
	Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, Augus (Buch) Sprache: English Veröffentlichung: Dezember 2006 (Auf Bestellung) Einband: Kartoniert	SFr. 70.00 bestellen
	Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, (Buch) Sprache: English Veröffentlichung: Mai 2012 (Auf Bestellung) Einband: Kartoniert	SFr. 70.00 bestellen
	Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings (Buch) Sprache: English Veröffentlichung: August 2022 (Auf Bestellung) Einband: Kartoniert	SFr. 134.00 bestellen
	Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Confe (Buch) Sprache: English Veröffentlichung: März 2022 (Auf Bestellung) Einband: Kartoniert	SFr. 55.90 bestellen
	Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Confe (Buch) Sprache: English Veröffentlichung: März 2022 (Auf Bestellung) Einband: Kartoniert	SFr. 55.90 bestellen
Seite 1 von 1