Ergebnisse filtern
-
- 9
- 8
-
- 1
- 12
- 4
-
- 1
- 1
- 11
- 4
-
- 15
- 2
-
- 17
-
- 17
-
Olderog / Steffen Correct System Design
Recent Insights and AdvancesErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66624-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Olderog / Dierks Real-Time Systems
Erscheinungsjahr 2008Verlag: Cambridge University PressISBN: 978-0-521-88333-7Medium: Buch109,20 € (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 -
Olderog / Steffen Correct System Design
Recent Insights and Advances1999Verlag: SpringerISBN: 978-3-540-48092-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
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. Proceedings2002Verlag: SpringerISBN: 978-3-540-45739-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Apt / Olderog Programmverifikation
Sequentielle, parallele und verteilte Programme1. Auflage 1994Verlag: SpringerISBN: 978-3-540-57479-8Medium: Buch29,95 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Apt / Olderog Verification of Sequential and Concurrent Programs
2. Auflage 1997Verlag: SpringerISBN: 978-1-4757-2714-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark85,59 € (inkl. MwSt.)
sofort verfügbar -
Apt / Olderog Programmverifikation
Sequentielle, parallele und verteilte Programme1994Verlag: SpringerISBN: 978-3-642-57947-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark22,99 € (inkl. MwSt.)
sofort verfügbar -
Apt / Olderog Verification of Sequential and Concurrent Programs
Erscheinungsjahr 2013Verlag: SpringerISBN: 978-1-4757-4376-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark85,59 € (inkl. MwSt.)
sofort verfügbar -
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 -
Olderog / Steffen / Yi Model Checking, Synthesis, and Learning
Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-91384-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark69,54 € (inkl. MwSt.)
sofort verfügbar -
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 / Bowen / Olderog Provably Correct Systems
1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-48628-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
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 -
Apt / De Boer / Olderog Verification of Sequential and Concurrent Programs
3rd Auflage 2009Verlag: SpringerISBN: 978-1-84882-745-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark71,39 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort