Ergebnisse filtern
-
- 2
- 2
-
- 4
-
- 4
- 4
- 4
-
- 2
- 2
-
- 4
-
- 4
-
- 4
-
- 4
-
Shankaranarayanan / Trivedi / Sankaranarayanan Verification, Model Checking, and Abstract Interpretation
26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part IErscheinungsjahr 2025Verlag: Springer Nature SwitzerlandISBN: 978-3-031-82699-3Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Shankaranarayanan / Sankaranarayanan / Trivedi Verification, Model Checking, and Abstract Interpretation
26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part IIErscheinungsjahr 2025Verlag: Springer International PublishingISBN: 978-3-031-82703-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark60,98 € (inkl. MwSt.)
sofort verfügbar
-
Shankaranarayanan / Sankaranarayanan / Trivedi Verification, Model Checking, and Abstract Interpretation
26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part IErscheinungsjahr 2025Verlag: Springer International PublishingISBN: 978-3-031-82700-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark60,98 € (inkl. MwSt.)
sofort verfügbar
-
Shankaranarayanan / Trivedi / Sankaranarayanan Verification, Model Checking, and Abstract Interpretation
26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part IIErscheinungsjahr 2025Verlag: Springer Nature SwitzerlandISBN: 978-3-031-82702-0Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
