Image from Amazon.com
Verification of Object-Oriented Software. The KeY Approach [electronic resource] : Foreword by K. Rustan M. Leino / edited by Bernhard Beckert, Reiner Hahnle, Peter H. Schmitt.
Series: Lecture Notes in Computer Science ; 4334Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.Description: xxix, 658 p. : ill., digital ; 24 cmISBN:- 9783540690610 (electronic bk.)
- 9783540689775 (paper)
- Computer software -- Verification
- Object-oriented methods (Computer science)
- Java (Computer program language)
- Computer Science
- Artificial Intelligence (incl. Robotics)
- Logics and Meanings of Programs
- Mathematical Logic and Formal Languages
- Programming Languages, Compilers, Interpreters
- Software Engineering
- 005.14 22
- QA76.76.V47 V474 2007
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.