Online Bücher bei 1Advd.ch bestellen

Zohar Manna

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)
Autor von:
	Deductive Foundations of Computer Programming, The (Buch) Sprache: English (Auf Bestellung) Einband: Gebunden	SFr. 61.30 bestellen
	Mathematical Theory of Computation (Buch) Sprache: English Veröffentlichung: Dezember 2003 (Auf Bestellung) Einband: Kartoniert	SFr. 33.90 bestellen
	Temporal Verification of Reactive Systems: Safety (Buch) Sprache: English Veröffentlichung: August 1995 (Auf Bestellung) Einband: Gebunden	SFr. 134.00 bestellen
	Temporal Verification of Reactive Systems: Safety (Buch) Sprache: English Veröffentlichung: August 2012 (Auf Bestellung) Einband: Kartoniert	SFr. 146.00 bestellen
	The Calculus of Computation: Decision Procedures with Applications to Verification (Buch) Sprache: English Veröffentlichung: September 2007 (Auf Bestellung) Einband: Gebunden	SFr. 104.00 bestellen
	The Calculus of Computation: Decision Procedures with Applications to Verification (Buch) Sprache: English Veröffentlichung: Oktober 2010 (Auf Bestellung) Einband: Kartoniert	SFr. 69.00 bestellen
	The Temporal Logic of Reactive and Concurrent Systems: Specification (Buch) Sprache: English Veröffentlichung: Oktober 2012 (Auf Bestellung) Einband: Kartoniert	SFr. 69.00 bestellen
	The Temporal Logic of Reactive and Concurrent Systems: Specification (Buch) Sprache: English Veröffentlichung: Dezember 1991 (Auf Bestellung) Einband: Gebunden	SFr. 146.00 bestellen
Seite 1 von 1