Klaus Havelund - Böcker

Visar alla böcker från författaren Klaus Havelund.
9 produkter
Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez - NASA Formal Methods, Häftad
Del 13260 - Lecture Notes in Computer Science

NASA Formal Methods

Av Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez

Häftad, Engelska, 2022

1 879 kr

Skickas inom 7-10 vardagar
Klaus Havelund, Gerard Holzmann, Rajeev Joshi - NASA Formal Methods, Häftad

NASA Formal Methods

Av Klaus Havelund, Gerard Holzmann, Rajeev Joshi

Häftad, Engelska, 2015

739 kr

Skickas inom 7-10 vardagar
Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink - Formal Methods, Häftad

Formal Methods

Av Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink

Häftad, Engelska, 2018

1 319 kr

Skickas inom 7-10 vardagar
Klaus Havelund, John Penix, Willem Visser - SPIN Model Checking and Software Verification, Häftad
Del 1885 - Lecture Notes in Computer Science

SPIN Model Checking and Software Verification

Av Klaus Havelund, John Penix, Willem Visser

Häftad, Engelska, 2000

739 kr

Skickas inom 7-10 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

Av Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff

Häftad, Engelska, 2006

739 kr

Skickas inom 7-10 vardagar
Klaus Havelund, Rupak Majumdar, Jens Palsberg - Model Checking Software, Häftad

Model Checking Software

Av Klaus Havelund, Rupak Majumdar, Jens Palsberg

Häftad, Engelska, 2008

739 kr

Skickas inom 7-10 vardagar
Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi - NASA Formal Methods, Häftad

NASA Formal Methods

Av Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi

Häftad, Engelska, 2011

739 kr

Skickas inom 7-10 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

Av Erika Abraham, Klaus Havelund

Häftad, Engelska, 2014

739 kr

Skickas inom 7-10 vardagar