Zoeken

U zocht naar: Auteur Kenneth L. McMillan, Xavier Rival Filter Auteur: Kenneth L. McMillan, Xavier Rival weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

1. Verification, Model Checking, and Abstract Interpretation
thumbnail
Full text!
Auteur:
Kenneth L. McMillan, Xavier Rival; Rival, Xavier
Uitgever:
Springer Berlin Heidelberg 2014
Type:
e-book