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

Third International Conference, Abz 2012, Pisa, Italy, June 18-21, 2012. Proceedings
by John Derrick, John Fitzgerald, Stefania Gnesi
Free delivery. Nothing extra to pay at checkout.
This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012.
Description supplied by the publisher.