Get info about Marieke Huisman
Buy bestsellers and highly recommended Marieke Huisman 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...