Ergebnisse filtern
-
- 8
-
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
-
- 6
- 2
-
- 1
- 4
- 3
-
- 7
- 1
-
- 8
-
- 8
Mathematik | Informatik
-
Olderog / Steffen Correct System Design
Recent Insights and AdvancesErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66624-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Damm / Olderog Formal Techniques in Real-Time and Fault-Tolerant Systems
7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings1. Auflage 2002Verlag: SpringerISBN: 978-3-540-44165-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Apt / Olderog Programmverifikation
Sequentielle, parallele und verteilte Programme1. Auflage 1994Verlag: SpringerISBN: 978-3-540-57479-8Medium: Buch29,95 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Olderog / Steffen / Yi Model Checking, Synthesis, and Learning
Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday1. Auflage 2021Verlag: SpringerISBN: 978-3-030-91383-0Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hinchey / Olderog / Bowen Provably Correct Systems
Softcover Nachdruck of the original 1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-83980-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hinchey / Olderog / Bowen Provably Correct Systems
1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-48627-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Apt / de Boer / Olderog Verification of Sequential and Concurrent Programs
Third Auflage 2009Verlag: SpringerISBN: 978-1-4471-2513-6Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Apt / de Boer / Olderog Verification of Sequential and Concurrent Programs
Third Auflage 2009Verlag: SpringerISBN: 978-1-84882-744-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
