Get info about Anton Wijs
Buy bestsellers and highly recommended Anton Wijs Books
5,790.00₹ 7,575.00₹ Ex Tax: 5,790.00₹
Concise Guide to Software Verification : From Model Checking to Annotation Checking
ABOUT THE BOOKThis textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice...
