Abstract State Machines, Alloy, B, Vdm, and Z : Third International Conference, Abz 2012, Pisa, Italy, June 18-21, 2012. Proceedings
ISBN: 9783642308857
Information Available:
Summary
Inside Flap
Cover Image
Copyright held by Baker & Taylor.