Zoeken

U zocht naar: Auteur Namjoshi, Kedar S. Filter Auteur: Namjoshi, Kedar S. weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

1. Automated Technology for Verification and Analysis
thumbnail
Full text!
Auteur:
Namjoshi, Kedar S.; Higashino, Teruo; Okamura, Yoshio; Yoneda, Tomohiro
Uitgever:
Springer Berlin Heidelberg 2007
Type:
e-book
2. Verification, Model Checking, and Abstract Interpretation
thumbnail
Full text!
Auteur:
Emerson, E. Allen; Kanade, Takeo; Namjoshi, Kedar S.; Kittler, Josef
Uitgever:
Springer Berlin / Heidelberg 2006
Type:
e-book