Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science)

Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science)

by Michael Leuschel (Editor), Michael Leuschel (Editor), John Fitzgerald (Editor), John Derrick (Editor), Stefania Gnesi (Editor), Elvinia Riccobene (Editor), Sarfraz Khurshid (Editor), Steve Reeves (Editor)

Synopsis

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.

$65.71

Save:$4.52 (6%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 396
Edition: 2012
Publisher: Springer
Published: 12 Jun 2012

ISBN 10: 3642308848
ISBN 13: 9783642308840