Ergebnisse filtern
-
- 3
- 1
-
- 2
- 2
-
- 2
- 4
- 4
-
- 4
-
- 2
- 2
-
- 4
-
- 4
-
- 4
-
Vizel / Shoham Computer Aided Verification
34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-13184-4Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Vizel / Shoham Computer Aided Verification
34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-13187-5Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Henglein / Vizel / Shoham Verification, Model Checking, and Abstract Interpretation
22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-67066-5Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Henglein / Shoham / Vizel Verification, Model Checking, and Abstract Interpretation
22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-67067-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
