Cover is for reference only

Verification of object-oriented software：the KeY approach

Saved in:
Bibliographic Details
Group Author: Hähnle Reiner.; Schmitt P. H.; (Peter H.) 1948-; Beckert Bernhard.
Published: Springer,
Publisher Address: Berlin New York
Publication Dates: c2007.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 4334.
Subjects:
Object-oriented methods (Computer science)
Java (Computer program language)
Computer software > Verification.
Carrier Form: xxix, 658 p.: ill. ; 24 cm.
Publication Frequency: Also issued online.
ISBN: 9783540689775 (soft cover ; alk. paper)
354068977X (soft cover : alk. paper)
Index Number: TP311
CLC: TP311.5
Call Number: TP311.5/V516-1
Contents: Includes bibliographical references (p. [627]-643) and index.

Related Book Recommendations