Verification of object-oriented software the KeY approach

Saved in:

Bibliographic Details
Other Authors:	Beckert, Bernhard, Hahnle, Reiner, Schmitt, P. H. 1948- Peter H.
Format:	Book
Published:	Berlin New York Springer 2007
Series:	Lecture notes in computer science 4334 Lecture notes in computer science Lecture notes in artificial intelligence
Subjects:	Computer software > Verification Java (Computer program language) > Verification Object-oriented methods (Computer science)
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Physical Description:	xxix, 658 p. ill. 24 cm
Bibliography:	Includes bibliographical references (p. [627]-643) and index
ISBN:	9783540689775 (pbk.) 354068977X (pbk.)
ISSN:	0302-9743

Similar Items