Verification of Object-Oriented Software. the KeY Approach
Foreword by K. Rustan M. Leino
We couldn't estimate the reading time for this book.
Publication
2007 - Springer London, Limited
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- ISBN-139783540690610
- ISBN-103540690611
- Better World Books9783540690610
- Open LibraryOL37385125M
Classifications
- LCCQ334-342
Subjects
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!