Zoeken

U zocht naar: Auteur Rustan, K. Filter Auteur: Rustan, K. weghalen
1 - 5 van 5
Aantal zoekresultaten per pagina

Zoekresultaten

1. Verification, Model Checking, and Abstract Interpretation
thumbnail
Full text!
Auteur:
Barbara Jobstmann, K. Rustan M. Leino; Leino, K. Rustan M.
Uitgever:
Springer Berlin Heidelberg 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. Computer Aided Verification
thumbnail
Full text!
Auteur:
Silva, Alexandra; Leino, K. Rustan M.
Uitgever:
Springer International Publishing 2021
Type:
e-book
4. Computer Aided Verification
thumbnail
Full text!
Auteur:
Silva, Alexandra; Leino, K. Rustan M.
Uitgever:
Springer International Publishing 2021
Type:
e-book
5. Tools and Algorithms for the Construction and Analysis of Systems
thumbnail
Full text!
Auteur:
Abdulla, Parosh Aziz; Kanade, Takeo; Leino, K. Rustan M.; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2011
Type:
e-book