Zoeken

U zocht naar: Auteur Veith, Helmut Filter Auteur: Veith, Helmut weghalen Taal Engels Filter Taal: Engels weghalen
1 - 5 van 5
Aantal zoekresultaten per pagina

Zoekresultaten

1. Computer Aided Verification
thumbnail
Full text!
Auteur:
Sharygina, Natasha; Veith, Helmut; Veith, Helmut
Uitgever:
Springer Berlin Heidelberg 2013
Type:
e-book
2. 25 Years of Model Checking
thumbnail
Full text!
Auteur:
Grumberg, Orna; Kanade, Takeo; Veith, Helmut; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2008
Type:
e-book
3. Computer Science Logic
thumbnail
Full text!
Auteur:
Dawar, Anuj; Kanade, Takeo; Veith, Helmut; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book
4. Handbook of Model Checking
thumbnail
Full text!
Auteur:
Clarke; Bloem, Roderick; Henzinger, Thomas A.; Veith, Helmut
Uitgever:
Springer International Publishing 2018
Type:
e-book
5. Logic for Programming, Artificial Intelligence, and Reasoning
thumbnail
Full text!
Auteur:
Cervesato, Iliano; Siekmann, Jörg; Veith, Helmut; Voronkov, Andrei
Uitgever:
Springer Berlin Heidelberg 2008
Type:
e-book