Author Statement
Bernhard Beckert, Reiner Hahnle, Peter H. Schmitt (eds.)
Collation
xxix, 658 p. : ill
Addition
,
Title
Verification of object-oriented software : the KeY approach
LC Class
005
LC Number
. 14
LC CutterNumber
B 389 V
تاريخ ورود اطلاعات
1389/01/24
Publication Year
2007
Publication
Springer
Subject
Computer software --Verification,Object-oriented methods (Computer science),Java (Computer program language)
DocumentNumber
118
ISBNN
,
RecordNumber
10902