Get info about Marieke Huisman

Buy bestsellers and highly recommended Marieke Huisman 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)