Zoeken

U zocht naar: Auteur Jens Palsberg Filter Auteur: Jens Palsberg weghalen
1 - 5 van 5
Aantal zoekresultaten per pagina

Zoekresultaten

1. Verification, Model Checking, and Abstract Interpretation
thumbnail
Full text!
Auteur:
Dillig; Jens Palsberg; Palsberg, Jens
Uitgever:
Springer International Publishing 2018
Type:
e-book
2. Semantics and Algebraic Specification
thumbnail
Full text!
Auteur:
Palsberg, Jens; Kanade, Takeo; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2009
Type:
e-book
3. Static Analysis
thumbnail
Full text!
Auteur:
Palsberg, Jens; Kanade, Takeo; Su, Zhendong; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2009
Type:
e-book
4. Tools and Algorithms for the Construction and Analysis of Systems
thumbnail
Full text!
Auteur:
Hermanns, Holger; Kanade, Takeo; Palsberg, Jens; Kittler, Josef
Uitgever:
Springer Berlin / Heidelberg 2006
Type:
e-book
5. 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