Free Shipping on all orders in India only
Your shopping cart is empty!
5,790.00₹ 7,575.00₹ Ex Tax: 5,790.00₹
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...