An edition of Verification of object-oriented software (2007)
Verification of Object-Oriented Software. The KeY Approach
Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science)
By Bernhard Beckert
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
February 21, 2007
Publisher
Springer
Language
eng
Pages
658
Description:
subjects: Java (Computer program language), Object-oriented methods (Computer science), Verification, Computer software, Logic design, Artificial intelligence, Computer science, Software engineering, Object-oriented programming (computer science), Objektorientierte Programmierung, Softwarespezifikation, Programmverifikation, Korrektheit, Beweis, Softwareentwicklung, Objektorientierung, Programmierlogik, Formale Methode