Treffer: Verification of object oriented software
Titel:
Verification of object oriented software : the KeY approach / Bernhard Beckert ... (ed.). Foreword by K. Rustan M. Leino
Beteiligt:
Veröffentlicht:
Berlin : Springer, 2007
Umfang:
XXIX, 658 Seiten : Diagramme ; 24 cm
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
AI systems
Lecture notes in computer science ; 4334 : Lecture notes in artificial intelligence
alle Bände anzeigen
Lecture notes in computer science ; 4334 : Lecture notes in artificial intelligence
alle Bände anzeigen
Anmerkungen:
Literaturangaben
Schlagworte:
ISBN:
9783540689775 ; 354068977X