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), Steve Reeves (Editor), Sarfraz Khurshid (Editor), Elvinia Riccobene (Editor), Stefania Gnesi (Editor), John Derrick (Editor)

• New

  Paperback
  2012

  $63.86

  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.