Formal Verification of Object-Oriented Software
Rate this book:
Buy This Book
Amazon
Ebook
→
Bookshop.org
Supports indie bookshops
→
Apple Books
Ebook
→
Open Library
Borrow
Free to borrow
→
As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.
Know this book?
Help other readers discover this title by sharing your thoughts. Be the first to write a review.
Share Your Thoughts
Sign in to write a review.
More by Bernhard Beckert
Deductive Software Verificatio
Deductive Software Verification - the KeY Book
Deductive Software Verificatio
Deductive Software Verification : Future Perspectives
Formal Verification Of Objectoriented Software International Conference Revised Selected Papers
Logic of Software. a Tasting Menu of Formal Methods
Verification of object-oriented software
Verification of Object-Oriente
Verification of Object-Oriented Software. the KeY Approach