Hoppa till sidans huvudinnehåll

Klaus Havelund - Böcker

Visar alla böcker från författaren Klaus Havelund.
9 produkter
Del 13260 - Lecture Notes in Computer Science

NASA Formal Methods

14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings

Av Jyotirmoy V. Deshmukh, Klaus Havelund m. fl

Häftad, Engelska, 2022

1 879 kr

Skickas inom 10-15 vardagar

NASA Formal Methods

7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

Av Klaus Havelund, Gerard Holzmann m. 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

Av Klaus Havelund, Jan Peleska m. fl

Häftad, Engelska, 2018

1 309 kr

Skickas inom 10-15 vardagar
Del 1885 - Lecture Notes in Computer Science

SPIN Model Checking and Software Verification

7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings

Av Klaus Havelund, John Penix m. 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

Av Klaus Havelund, Manuel Núnez m. 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

Av Klaus Havelund, Rupak Majumdar m. 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

Av Howard Barringer, Ylies Falcone m. 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

Av Mihaela Bobaru, Klaus Havelund m. 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

Av Erika Abraham, Klaus Havelund

Häftad, Engelska, 2014

739 kr

Skickas inom 10-15 vardagar