
Automated Technology for Verification and Analysis
Chao Wang Shuvendu K. Lahiri
₹2,748

by Marc Grimm, Baris Ertugrul, Ullrich Bauer
MANJUL PuBLICATION
Free delivery. Nothing extra to pay at checkout.
Available Offers
The publisher hasn't supplied a description for this edition. The details alongside are from the publisher's record.