Zoeken

U zocht naar: Auteur Leuschel, Michael Filter Auteur: Leuschel, Michael weghalen Taal Engels Filter Taal: Engels weghalen
1 - 3 van 3
Aantal zoekresultaten per pagina

Zoekresultaten

1. Integrated Formal Methods
thumbnail
Full text!
Auteur:
Leuschel, Michael; Kanade, Takeo; Wehrheim, Heike; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2009
Type:
e-book
2. Formal Methods for Components and Objects
thumbnail
Full text!
Auteur:
Boer, Frank S.; Bonsangue, Marcello M.; Hallerstede, Stefan; Kanade, Takeo; Leuschel, Michael
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book
3. Abstract State Machines, Alloy, B, VDM, and Z
thumbnail
Full text!
Auteur:
Hutchison, David; Kanade, Takeo; Fitzgerald, John; Gnesi, Stefania; Khurshid, Sarfraz; Leuschel, Michael; Reeves, Steve; Riccobene, Elvinia
Uitgever:
Springer Berlin Heidelberg 2012
Type:
e-book