Zoeken

U zocht naar: Auteur Chin, Wei-Ngan Filter Auteur: Chin, Wei-Ngan weghalen Type e-book Filter Type: e-book weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

1. Automated Technology for Verification and Analysis
thumbnail
Full text!
Auteur:
Bouajjani, Ahmed; Chin, Wei-Ngan; Kanade, Takeo; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book