Zoeken

U zocht naar: Auteur Doron Filter Auteur: Doron weghalen
| 11 - 12 van 12 | Volgende »
Aantal zoekresultaten per pagina

Zoekresultaten

11. Verification, Model Checking, and Abstract Interpretation
thumbnail
Full text!
Auteur:
Logozzo, Francesco; Peled, Doron A.; Zuck, Lenore D.; Zuck, Leonore D.
Uitgever:
Springer Berlin Heidelberg 2008
Type:
e-book
12. Model Checking and Artificial Intelligence
thumbnail
Full text!
Auteur:
Peled, Doron A.; Kanade, Takeo; Wooldridge, Michael J.; Kittler, Josef; Wooldridge, Michael
Uitgever:
Springer Berlin Heidelberg 2009
Type:
e-book