Akademibokhandeln

Klaus Havelund – författare

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

10 produkter

  1. Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez - NASA Formal Methods, Häftad. Tillgänglighet: Lägg i varukorg

    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, 2022

    1879 kr

    Lägg i varukorg

  2. Jyotirmoy Deshmukh, Klaus Havelund, Alessandro Pinto - NASA Formal Methods, Häftad. Tillgänglighet: Lägg i varukorg

    NASA Formal Methods

    18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5–7, 2026, Proceedings

    Av Jyotirmoy Deshmukh, Klaus Havelund m. fl.

    Häftad, 2026

    1069 kr

    Lägg i varukorg

  3. Klaus Havelund, Gerard Holzmann, Rajeev Joshi - NASA Formal Methods, Häftad. Tillgänglighet: Lägg i varukorg

    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, 2015

    729 kr

    Lägg i varukorg

  4. Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink - Formal Methods, Häftad. Tillgänglighet: Lägg i varukorg

    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, 2018

    1309 kr

    Lägg i varukorg

  5. Klaus Havelund, John Penix, Willem Visser - SPIN Model Checking and Software Verification, Häftad. Tillgänglighet: Lägg i varukorg

    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, 2000

    729 kr

    Lägg i varukorg

  6. Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff - Formal Approaches to Software Testing and Runtime Verification, Häftad. Tillgänglighet: Lägg i varukorg

    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, 2006

    729 kr

    Lägg i varukorg

  7. Klaus Havelund, Rupak Majumdar, Jens Palsberg - Model Checking Software, Häftad. Tillgänglighet: Lägg i varukorg

    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, 2008

    729 kr

    Lägg i varukorg

  8. Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann - Runtime Verification, Häftad. Tillgänglighet: Lägg i varukorg

    Runtime Verification

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

    Av Howard Barringer, Ylies Falcone m. fl.

    Häftad, 2010

    729 kr

    Lägg i varukorg

  9. Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi - NASA Formal Methods, Häftad. Tillgänglighet: Lägg i varukorg

    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, 2011

    729 kr

    Lägg i varukorg

  10. Erika Abraham, Klaus Havelund - Tools and Algorithms for the Construction and Analysis of Systems, Häftad. Tillgänglighet: Lägg i varukorg

    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, 2014

    729 kr

    Lägg i varukorg