Klaus Havelund – författare

Visar alla böcker från författaren Klaus Havelund.

10 produkter

Kategorier

10 produkter

NASA Formal Methods
14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings
AvJyotirmoy V. Deshmukh,Klaus Havelundm. fl.
Häftad, Engelska, 2022
1 919 kr
Skickas inom 10-15 vardagar
NASA Formal Methods
18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5–7, 2026, Proceedings
AvJyotirmoy Deshmukh,Klaus Havelundm. fl.
Häftad, Engelska, 2026
1 099 kr
Skickas inom 10-15 vardagar
NASA Formal Methods
7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
AvKlaus Havelund,Gerard Holzmannm. fl.
Häftad, Engelska, 2015
739 kr
Skickas inom 10-15 vardagar
Formal Methods
22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
AvKlaus Havelund,Jan Peleskam. fl.
Häftad, Engelska, 2018
1 329 kr
Skickas inom 10-15 vardagar
SPIN Model Checking and Software Verification
7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings
AvKlaus Havelund,John Penixm. fl.
Häftad, Engelska, 2000
739 kr
Skickas inom 10-15 vardagar
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 Papers
AvKlaus Havelund,Manuel Núnezm. fl.
Häftad, Engelska, 2006
739 kr
Skickas inom 10-15 vardagar
Model Checking Software
15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings
AvKlaus Havelund,Rupak Majumdarm. fl.
Häftad, Engelska, 2008
739 kr
Skickas inom 10-15 vardagar
Runtime Verification
First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
AvHoward Barringer,Ylies Falconem. fl.
Häftad, Engelska, 2010
739 kr
Skickas inom 10-15 vardagar
NASA Formal Methods
Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
AvMihaela Bobaru,Klaus Havelundm. fl.
Häftad, Engelska, 2011
739 kr
Skickas inom 10-15 vardagar
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, Proceedings
AvErika Abraham,Klaus Havelund
Häftad, Engelska, 2014
739 kr
Skickas inom 10-15 vardagar