Zoeken

U zocht naar: Auteur Seshia, Sanjit A. Filter Auteur: Seshia, Sanjit A. weghalen Type e-book Filter Type: e-book weghalen
1 - 2 van 2
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
2. Computer Aided Verification
thumbnail
Full text!
Auteur:
Hutchison, David; Kanade, Takeo; Kittler, Josef; Seshia, Sanjit A.
Uitgever:
Springer Berlin Heidelberg 2012
Type:
e-book