Zoeken

U zocht naar: Auteur Schmitt, Peter H. Filter Auteur: Schmitt, Peter H. weghalen Taal Engels Filter Taal: Engels weghalen
1 - 5 van 5
Aantal zoekresultaten per pagina

Zoekresultaten

1. Deductive Software Verification – The KeY Book
thumbnail
Full text!
Auteur:
Ahrendt; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Schmitt, Peter H.; Ulbrich, Mattias
Uitgever:
Springer International Publishing 2016
Type:
e-book
2. Verification of Object-Oriented Software. The KeY Approach
thumbnail
Full text!
Auteur:
Beckert, Bernhard; Carbonell, Jaime G.; Hähnle, Reiner; Schmitt, Peter H.; Siekmann, Jörg; Leino, Matti; Rustan, K.
Uitgever:
Springer Berlin Heidelberg 2007
Type:
e-book
3. Trauma Biomechanics
thumbnail
Full text!
Auteur:
Schmitt, Kai-Uwe; ETH Zürich, Prof. Dr. Prof. Dr Peter F. Nieder; Muser, Markus H.; Niederer, Peter F.; Schmitt, Kai-Uwe; Muser, Markus H.; Walz, Felix
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book
4. Trauma Biomechanics
thumbnail
Full text!
Auteur:
Schmitt, Kai-Uwe; Niederer, Peter F.; Cronin, Duane S.; Muser, Markus H.; Walz, Felix
Uitgever:
Springer Berlin Heidelberg 2014
Type:
e-book
5. Trauma Biomechanics
thumbnail
Full text!
Auteur:
Schmitt; Cronin, Duane S.; Morrison III, Barclay; Muser, Markus H.; Niederer, Peter F.; Walz, Felix
Uitgever:
Springer International Publishing 2019
Type:
e-book