Zoeken

U zocht naar: Auteur Jones, Neil D. Filter Auteur: Jones, Neil D. weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

1. Verification, Model Checking, and Abstract Interpretation
thumbnail
Full text!
Auteur:
Jones, Neil D.; Müller-Olm, Markus
Uitgever:
Springer Berlin Heidelberg 2009
Type:
e-book