Get info about Anton Wijs

Buy bestsellers and highly recommended Anton Wijs Books

Concise Guide to Software Verification : From Model Checking to Annotation Checking

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...

Showing 1 to 1 of 1 (1 Pages)