Zoeken

U zocht naar: Auteur Hermanns, Holger Filter Auteur: Hermanns, Holger weghalen
1 - 3 van 3
Aantal zoekresultaten per pagina

Zoekresultaten

1. Computer Aided Verification
thumbnail
Full text!
Auteur:
Damm, Werner; Hermanns, Holger
Uitgever:
Springer Berlin Heidelberg 2007
Type:
e-book
2. CONCUR 2006 – Concurrency Theory
thumbnail
Full text!
Auteur:
Baier, Christel; Hermanns, Holger; Kanade, Takeo; Kittler, Josef
Uitgever:
Springer Berlin / Heidelberg 2006
Type:
e-book
3. Tools and Algorithms for the Construction and Analysis of Systems
thumbnail
Full text!
Auteur:
Hermanns, Holger; Kanade, Takeo; Palsberg, Jens; Kittler, Josef
Uitgever:
Springer Berlin / Heidelberg 2006
Type:
e-book