Ergebnisse filtern
-
- 2
- 2
-
- 2
- 2
-
- 2
- 1
- 2
- 4
- 1
-
- 3
- 1
-
- 4
-
- 4
-
- 4
-
- 4
-
Gurfinkel / Seshia Verified Software: Theories, Tools, and Experiments
7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-29613-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Gurfinkel / Seshia Verified Software: Theories, Tools, and Experiments
7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-29612-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Parthasarathy / Seshia Computer Aided Verification
24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 ProceedingsErscheinungsjahr 2012Verlag: SpringerISBN: 978-3-642-31424-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Parthasarathy / Seshia Computer Aided Verification
24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31423-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
