Zoeken

U zocht naar: Auteur Havelund Filter Auteur: Havelund weghalen Type e-book Filter Type: e-book weghalen
1 - 8 van 8
Aantal zoekresultaten per pagina

Zoekresultaten

1. Tools and Algorithms for the Construction and Analysis of Systems
thumbnail
Full text!
Auteur:
Erika Ábrahám, Klaus Havelund; Havelund, Klaus
Uitgever:
Springer Berlin Heidelberg 2014
Type:
e-book
2. NASA Formal Methods
thumbnail
Full text!
Auteur:
Havelund; Holzmann, Gerard; Joshi, Rajeev
Uitgever:
Springer International Publishing 2015
Type:
e-book
3. NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings
thumbnail
Full text!
Auteur:
Deshmukh, Jyotirmoy V.; Havelund, Klaus; Perez, Ivan
Uitgever:
Cham Springer International Publishing AG 2022
Type:
e-book
4. Model Checking Software
thumbnail
Full text!
Auteur:
Havelund, Klaus; Kanade, Takeo; Majumdar, Rupak; Palsberg, Jens; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2008
Type:
e-book
5. Formal Approaches to Software Testing and Runtime Verification
thumbnail
Full text!
Auteur:
Havelund, Klaus; Kanade, Takeo; Núñez, Manuel; Roşu, Grigore; Wolff, Burkhart
Uitgever:
Springer Berlin Heidelberg 2006
Type:
e-book
6. NASA Formal Methods
thumbnail
Full text!
Auteur:
Bobaru, Mihaela; Havelund, Klaus; Holzmann, Gerard J.; Joshi, Rajeev; Kanade, Takeo; Holzmann, Gerard
Uitgever:
Springer Berlin Heidelberg 2011
Type:
e-book
7. Formal Methods
thumbnail
Full text!
Auteur:
Havelund; Bill Roscoe; Erik de Vink; Jan Peleska; de Vink, Erik; Peleska, Jan; Roscoe, Bill
Uitgever:
Springer International Publishing 2018
Type:
e-book
8. Runtime Verification
thumbnail
Full text!
Auteur:
Barringer, Howard; Falcone, Ylies; Finkbeiner, Bernd; Havelund, Klaus; Kanade, Takeo; Lee, Insup; Pace, Gordon; Roşu, Grigore; Sokolsky, Oleg; Tillmann, Nikolai
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book