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)
1 edition
by Bernhard Beckert
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
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| Edition | Availability |
|---|---|
1
Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science)
February 21, 2007, Springer
Paperback
in English
- 1 edition
354068977X 9783540689775
|
aaaa
|
Book Details
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Source records
amazon.com recordLibrary of Congress MARC record
Library of Congress MARC record
Library of Congress MARC record
Internet Archive item record
Internet Archive item record
Library of Congress MARC record
Better World Books record
marc_columbia MARC record
marc_nuls MARC record
Internet Archive item record
Harvard University record
Community Reviews (0)
Lists
History
- Created April 30, 2008
- 17 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| August 30, 2024 | Edited by MARC Bot | import existing book |
| July 25, 2023 | Edited by ImportBot | import existing book |
| March 7, 2023 | Edited by MARC Bot | import existing book |
| December 28, 2022 | Edited by MARC Bot | import existing book |
| April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |