Zoeken

U zocht naar: Auteur Ramakrishnan, C. R. Filter Auteur: Ramakrishnan, C. R. weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

1. Model Checking Software
thumbnail
Full text!
Auteur:
Bartocci, Ezio; Ramakrishnan, C.R.; Ramakrishnan, C. R.
Uitgever:
Springer Berlin Heidelberg 2013
Type:
e-book
2. Tools and Algorithms for the Construction and Analysis of Systems
thumbnail
Full text!
Auteur:
Ramakrishnan, C. R.; Kanade, Takeo; Rehof, Jakob; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2008
Type:
e-book