Online Bücher bei 1Advd.ch bestellen

Orna Grumberg

Sortierung: Titel - Veröffentlichung
Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch
Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette)
Herausgeber von:
	25 Years of Model Checking: History, Achievements, Perspectives (Buch) Sprache: English Veröffentlichung: Juni 2008 (Auf Bestellung) Einband: Kartoniert	SFr. 49.90 bestellen
	Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings (Buch) Sprache: English Veröffentlichung: Juni 1997 (Auf Bestellung) Einband: Kartoniert	SFr. 69.00 bestellen
	Languages: From Formal to Natural - Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday (Buch) Sprache: English Veröffentlichung: Mai 2009 (Auf Bestellung) Einband: Kartoniert	SFr. 70.00 bestellen
	Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European Confer (Buch) Sprache: English Veröffentlichung: März 2007 (Auf Bestellung) Einband: Kartoniert	SFr. 135.00 bestellen
Seite 1 von 1