Zoeken

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

Zoekresultaten

1. Tools and Algorithms for the Construction and Analysis of Systems
thumbnail
Full text!
Auteur:
Grumberg, Orna; Huth, Michael
Uitgever:
Springer Berlin Heidelberg 2007
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. Languages: From Formal to Natural
thumbnail
Full text!
Auteur:
Grumberg, Orna; Kaminski, Michael; Kanade, Takeo; Katz, Shmuel; Wintner, Shuly
Uitgever:
Springer Berlin Heidelberg 2009
Type:
e-book