Ergebnisse filtern
-
- 9
-
- 3
- 3
- 3
-
- 8
- 1
-
- 9
-
- 9
-
- 9
Klaus Havelund
-
Barringer / Falcone / Finkbeiner Runtime Verification
1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-16611-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Havelund / Joshi / Holzmann NASA Formal Methods
7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings2015Verlag: Springer International PublishingISBN: 978-3-319-17523-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Havelund / Wolff / Núnez Formal Approaches to Software Testing and Runtime Verification
First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-49699-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Havelund / de Vink / Peleska Formal Methods
22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-95581-0Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bobaru / Havelund / Holzmann NASA Formal Methods
2011Verlag: SpringerISBN: 978-3-642-20397-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Deshmukh / Perez / Havelund NASA Formal Methods
14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24¿27, 2022, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-06772-3Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Havelund / Palsberg / Majumdar Model Checking Software
15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-85113-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Havelund / Abraham Tools and Algorithms for the Construction and Analysis of Systems
20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings2014Verlag: SpringerISBN: 978-3-642-54861-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Havelund / Visser / Penix SPIN Model Checking and Software Verification
7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41030-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