Ergebnisse filtern
-
- 5
- 4
-
- 2
- 2
- 2
- 2
- 1
-
- 2
- 2
- 9
- 2
- 2
-
- 2
- 3
- 4
-
- 9
-
- 9
-
- 9
-
- 9
-
Müller-Olm Variations on Constants
Flow Analysis of Sequential and Parallel Programs2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-45385-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Müller-Olm Modular Compiler Verification
A Refinement-Algebraic Approach Advocating Stepwise Abstraction1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63406-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Müller-Olm Variations on Constants
Flow Analysis of Sequential and Parallel Programs2006Verlag: SpringerISBN: 978-3-540-45386-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Müller-Olm / Jones Verification, Model Checking, and Abstract Interpretation
10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-93899-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jones / Müller-Olm Verification, Model Checking, and Abstract Interpretation
10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings2008Verlag: SpringerISBN: 978-3-540-93900-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Müller-Olm / Seidl Static Analysis
21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. ProceedingsErscheinungsjahr 2014Verlag: Springer International PublishingISBN: 978-3-319-10936-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Seidl / Müller-Olm Static Analysis
21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-10935-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Feng / Yang / Müller-Olm Dependable Software Engineering. Theories, Tools, and Applications
4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-99932-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Feng / Müller-Olm / Yang Dependable Software Engineering. Theories, Tools, and Applications
4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, ProceedingsErscheinungsjahr 2018Verlag: Springer International PublishingISBN: 978-3-319-99933-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
