Zoeken

U zocht naar: Auteur Leino, Matti Filter Auteur: Leino, Matti weghalen Taal Engels Filter Taal: Engels weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

1. 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