Concise Guide to Software Verification
View on Open Library ↗

Concise Guide to Software Verification

by ,

1 hr read
Rate this book:
248 pages 2024

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 Marieke Huisman

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
2006
Proceedings of the 8th Interna
Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems
2009
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS
2019

View all books by Marieke Huisman →