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 John Derrick,John Fitzgerald,Stefania Gnesi,Sarfraz Khurshid,Michael Leuschel,Steve Reeves,Elvinia Riccobene
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 John Derrick,John Fitzgerald,Stefania Gnesi,Sarfraz Khurshid,Michael Leuschel,Steve Reeves,Elvinia Riccobene
ISBN 13: 9783642308840
Format: Paperback
(396 pages)
Publisher: Springer
Published: 12 Jun 2012
Save for later
New : $65.38