Zoeken

U zocht naar: Auteur Rajamani, Sriram K. Filter Auteur: Rajamani, Sriram K. weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

1. Computer Aided Verification
thumbnail
Full text!
Auteur:
Etessami, Kousha; Kanade, Takeo; Rajamani, Sriram K.; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2005
Type:
e-book
2. Verified Software: Theories, Tools, Experiments
thumbnail
Full text!
Auteur:
Leavens, Gary T.; Kanade, Takeo; O'Hearn, Peter; Rajamani, Sriram K.
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book