Ergebnisse filtern
-
- 7
- 6
-
- 3
- 1
- 2
- 2
- 1
- 2
- 2
-
- 1
- 11
- 1
-
- 2
- 7
- 4
-
- 13
-
- 13
-
- 13
-
Biere / Bloem Computer Aided Verification
26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, ProceedingsErscheinungsjahr 2014Verlag: Springer International PublishingISBN: 978-3-319-08867-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar
-
Lipp / Bloem Trusted Systems
5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings2013Verlag: Springer International PublishingISBN: 978-3-319-03490-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bloem / Lipp Trusted Systems
5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, ProceedingsErscheinungsjahr 2013Verlag: Springer International PublishingISBN: 978-3-319-03491-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Bloem / Biere Computer Aided Verification
26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-08866-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Arbel / Bloem Hardware and Software: Verification and Testing
12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-49051-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bloem / Arbel Hardware and Software: Verification and Testing
12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-49052-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Bloem / Sharygina / Dimitrova Software Verification
13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-030-95560-1Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bloem / Konnov / Jacobs Decidability of Parameterized Verification
Erscheinungsjahr 2015Verlag: Springer International PublishingISBN: 978-3-031-00883-2Medium: Buch48,14 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bloem / Dimitrova / Fan Software Verification
13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-030-95561-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark58,84 € (inkl. MwSt.)
sofort verfügbar
-
Bloem / Jacobs / Kalimov Decidability of Parameterized Verification
1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-02011-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark48,14 € (inkl. MwSt.)
sofort verfügbar
-
Bloem / Clarke / Henzinger Handbook of Model Checking
1. Auflage 2018Verlag: Springer-Verlag GmbHISBN: 978-3-319-10574-1Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage
-
Clarke / Henzinger / Veith Handbook of Model Checking
1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-10575-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark149,79 € (inkl. MwSt.)
sofort verfügbar
-
Clarke / Henzinger / Veith Handbook of Model Checking
Softcover Nachdruck of the original 1. Auflage 2018Verlag: SpringerISBN: 978-3-030-13233-0Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
