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, Band 7316)

Proceedings

von: John Derrick · John Fitzgerald · Stefania Gnesi · Sarfraz Khurshid · Michael Leuschel · Steve Reeves · Elvinia Riccobene

Taschenbuch

ISBN-13: 978-3-642-30884-0

ISBN-10: 3-642-30884-8

Springer · 2012