Zoeken

U zocht naar: Auteur Arie Gurfinkel, Sanjit A. Seshia Filter Auteur: Arie Gurfinkel, Sanjit A. Seshia weghalen Type e-book Filter Type: e-book weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

1. Verified Software: Theories, Tools, and Experiments
thumbnail
Full text!
Auteur:
Arie Gurfinkel, Sanjit A. Seshia; Seshia, Sanjit A.
Uitgever:
Springer International Publishing 2016
Type:
e-book