Ergebnisse filtern
-
- 4
- 4
-
- 2
- 2
- 2
- 2
-
- 3
- 1
- 2
- 2
-
- 6
- 2
-
- 8
-
- 8
-
- 8
-
Giacobazzi Static Analysis
11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-22791-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Giacobazzi Static Analysis
11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, ProceedingsErscheinungsjahr 2004Verlag: SpringerISBN: 978-3-540-27864-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Giacobazzi / Gorla Static Analysis
31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, ProceedingsErscheinungsjahr 2025Verlag: Springer International PublishingISBN: 978-3-031-74776-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark78,10 € (inkl. MwSt.)
sofort verfügbar
-
Gorla / Giacobazzi Static Analysis
31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-74775-5Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Giacobazzi / Mastroeni / Berdine Verification, Model Checking, and Abstract Interpretation
14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-35872-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Giacobazzi / Berdine / Mastroeni Verification, Model Checking, and Abstract Interpretation
14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-35873-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Lopez-Garcia / Giacobazzi / Gallagher Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-31475-9Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Lopez-Garcia / Gallagher / Giacobazzi Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday1. Auflage 2023Verlag: Springer International PublishingISBN: 978-3-031-31476-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark128,39 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
