
Integrated Formal Methods
John Derrick, Stefania Gnesi, Diego Latella
₹5,630

Third International Conference
by John Derrick, John Fitzgerald, Stefania Gnesi
Springer · 2012
Free delivery. Nothing extra to pay at checkout.
Offer
Use code GIG9 at checkout and pay ₹5,084 for this book (save ₹500).
9% off every book, up to ₹500 off per order.
Published by Springer in 2012, Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference by John Derrick, John Fitzgerald & others is available as a new copy.
Topics covered include Machine learning, System design, Computer science and Computer software.