Hoppa till sidans huvudinnehåll

Klaus Havelund – författare

Visar alla böcker från författaren .
10 produkter
Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez - NASA Formal Methods, Häftad

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 869 kr

Skickas inom 10-15 vardagar

  • Nyhet
Jyotirmoy Deshmukh, Klaus Havelund, Alessandro Pinto - NASA Formal Methods, Häftad

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 069 kr

Skickas inom 10-15 vardagar

Klaus Havelund, Gerard Holzmann, Rajeev Joshi - NASA Formal Methods, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink - Formal Methods, Häftad

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 299 kr

Skickas inom 10-15 vardagar

Klaus Havelund, John Penix, Willem Visser - SPIN Model Checking and Software Verification, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff - Formal Approaches to Software Testing and Runtime Verification, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Klaus Havelund, Rupak Majumdar, Jens Palsberg - Model Checking Software, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann - Runtime Verification, Häftad

Runtime Verification

First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

AvHoward Barringer,Ylies Falconem. fl.

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar

Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi - NASA Formal Methods, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Erika Abraham, Klaus Havelund - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

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

729 kr

Skickas inom 10-15 vardagar