Online Bücher bei 1Advd.ch bestellen

Ernst-Rüdiger Olderog

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:
	Correct System Design: Recent Insights and Advances (Buch) Sprache: English Veröffentlichung: September 1999 (Auf Bestellung) Einband: Kartoniert	SFr. 69.00 bestellen
	Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, (Buch) Sprache: English Veröffentlichung: August 2002 (Auf Bestellung) Einband: Kartoniert	SFr. 70.00 bestellen
	Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday (Buch) Sprache: English Veröffentlichung: November 2021 (Auf Bestellung) Einband: Kartoniert	SFr. 90.00 bestellen
	Provably Correct Systems (Buch) Sprache: English Veröffentlichung: März 2017 (Auf Bestellung) Einband: Gebunden	SFr. 135.00 bestellen
	Provably Correct Systems (Buch) Sprache: English Veröffentlichung: Mai 2018 (Auf Bestellung) Einband: Kartoniert	SFr. 135.00 bestellen
Autor von:
	Programmverifikation: Sequentielle, parallele und verteilte Programme (Buch) Sprache: Deutsch Veröffentlichung: März 1994 (Auf Bestellung) Einband: Kartoniert	SFr. 40.90 bestellen
	Real-Time Systems: Formal Specification and Automatic Verification (Buch) Sprache: English Veröffentlichung: September 2008 (Auf Bestellung) Einband: Gebunden	SFr. 139.00 bestellen
	Verification of Sequential and Concurrent Programs (Buch) Sprache: English Veröffentlichung: Oktober 2009 (Auf Bestellung) Einband: Gebunden	SFr. 135.00 bestellen
	Verification of Sequential and Concurrent Programs (Buch) Sprache: English Veröffentlichung: März 2012 (Auf Bestellung) Einband: Kartoniert	SFr. 110.00 bestellen
Seite 1 von 1