Ernst-Rüdiger Olderog ![]() |
| 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 | ||
Newsfeed |