Zoeken

U zocht naar: Auteur Cook, Byron Filter Auteur: Cook, Byron weghalen Taal Engels Filter Taal: Engels weghalen
1 - 3 van 3
Aantal zoekresultaten per pagina

Zoekresultaten

1. Computer Aided Verification
thumbnail
Full text!
Auteur:
Touili, Tayssir; Cook, Byron; Jackson, Paul; Kanade, Takeo
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book
2. Formal Methods for Industrial Critical Systems
thumbnail
Full text!
Auteur:
Alpuente, María; Cook, Byron; Joubert, Christophe; Kanade, Takeo
Uitgever:
Springer Berlin Heidelberg 2009
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