Title Verification of object-oriented software : the KeY approach / Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.) ; foreword by K. Rustan M. Leino

Published Berlin ; [London] : Springer, [2007] ©2007

Copies

Location	Call no.	Vol.	Availability
W'PONDS	005.14 Bec/Voo		AVAILABLE

Description xxix, 658 pages : illustrations ; 24 cm Series Lecture notes in computer science. Lecture notes in artificial intelligence, 0302-9743 ; 4334 Lecture notes in computer science. Lecture notes in artificial intelligence. 0302-9743 ; 4334 Bibliography Includes bibliographical references and index Notes Also available in print Mode of access: World Wide Web Print version record Subject Computer software -- Verification. Java (Computer program language) Object-oriented methods (Computer science) Object-oriented programming (Computer science) Software engineering. Author Hähnle, Reiner. Schmitt, P. H. (Peter H.), 1948- LC no. 2006939067 ISBN 354068977X (paperback) 9783540689775 (paperback)

Other Titles KeY approach

  Permalink