bib.howest.be Zoekresultaten

U zocht naar: Auteur Schmitt, Peter H.

1 - 5 van 5

1. Deductive Software Verification – The KeY Book

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

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

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

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

Auteur:: Schmitt; Cronin, Duane S.; Morrison III, Barclay; Muser, Markus H.; Niederer, Peter F.; Walz, Felix
Uitgever:: Springer International Publishing 2019
Type:: e-book