Deductive Software Verification - the KeY Book
View on Open Library ↗

Deductive Software Verification - the KeY Book

by , , , ,

2.8 hrs read
Rate this book:
702 pages 2016

Buy This Book

Amazon → Bookshop.org Supports indie bookshops → 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 Wolfgang Ahrendt

Deductive Software Verificatio
Deductive Software Verification : Future Perspectives
2020
Logic of Software. a Tasting Menu of Formal Methods
Logic of Software. a Tasting Menu of Formal Methods
2022

View all books by Wolfgang Ahrendt →