Result: Verification of object oriented software
Title:
Verification of object oriented software : the KeY approach / Bernhard Beckert ... (ed.). Foreword by K. Rustan M. Leino
Involved:
Published:
Berlin : Springer, 2007
Scope:
XXIX, 658 Seiten : Diagramme ; 24 cm
Resource Type:
Language:
English
Series/ Mutipart item:
AI systems
Lecture notes in computer science ; 4334 : Lecture notes in artificial intelligence
Show all volumes
Lecture notes in computer science ; 4334 : Lecture notes in artificial intelligence
Show all volumes
Notes:
Literaturangaben
Subject Added Keywords:
ISBN:
9783540689775 ; 354068977X