Zoeken

U zocht naar: Auteur Podelski Filter Auteur: Podelski weghalen Fulltext online Filter Fulltext: online weghalen
1 - 4 van 4
Aantal zoekresultaten per pagina

Zoekresultaten

1. Static Analysis
thumbnail
Full text!
Auteur:
Podelski
Uitgever:
Springer International Publishing 2018
Type:
e-book
2. Networked Systems
thumbnail
Full text!
Auteur:
Podelski; Taïani, François
Uitgever:
Springer International Publishing 2019
Type:
e-book
3. Verification, Model Checking, and Abstract Interpretation
thumbnail
Full text!
Auteur:
Cook, Byron; Kanade, Takeo; Podelski, Andreas; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2007
Type:
e-book
4. Verified Software: Theories, Tools, Experiments
thumbnail
Full text!
Auteur:
Hutchison, David; Kanade, Takeo; Müller, Peter; Podelski, Andreas
Uitgever:
Springer Berlin Heidelberg 2012
Type:
e-book