Zoeken

U zocht naar: Auteur Namjoshi, Kedar Filter Auteur: Namjoshi, Kedar weghalen Type e-book Filter Type: e-book weghalen
1 - 4 van 4
Aantal zoekresultaten per pagina

Zoekresultaten

1. Static Analysis
thumbnail
Full text!
Auteur:
Cezara Drăgoi; Mukherjee, Suvam; Namjoshi, Kedar
Uitgever:
Springer International Publishing 2021
Type:
e-book
2. Hardware and Software: Verification and Testing
thumbnail
Full text!
Auteur:
Namjoshi, Kedar; Kanade, Takeo; Zeller, Andreas; Ziv, Avi
Uitgever:
Springer Berlin Heidelberg 2011
Type:
e-book
3. 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
4. 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