Verification of Object-Oriented Software. The KeY Approach

Full text!
Type:
e-book
Titel:
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.
Taal:
Engels
Uitgever:
Springer Berlin Heidelberg 2007
ISBN:
3-540-68977-X
3-540-69061-1
Onderwerp:
Information Technology Artificial Intelligence
Permalink:
http://bibtest.howest.be/catalog/ebk03:1000000000284050