Zoeken

U zocht naar: Auteur Zuck, Lenore D. Filter Auteur: Zuck, Lenore D. weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

1. Tools and Algorithms for the Construction and Analysis of Systems
thumbnail
Full text!
Auteur:
Halbwachs, Nicolas; Kanade, Takeo; Zuck, Lenore D.; Zuck, Lenore; Kittler, Josef
Uitgever:
Springer Berlin / Heidelberg 2005
Type:
e-book
2. 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