Item #: 1120037 | Model #: 9783642308840
Abstract State Machines, Alloy, B, VDM, and Z
Rollover image to zoom in
https://www.staples-3p.com/s7/is/image/Staples/m001244597_sc7?wid=512&hei=512

Abstract State Machines, Alloy, B, VDM, and Z

No reviews yet
Share:
This item is currently out of stock for delivery
$79.99
This item not available in stores

Staples memberships could save you more | Learn More

Product Details
  • Author Name: Derrick, John; Fitzgerald, John S. & Gnesi, Stefania
  • No of Pages: 378 Pages
  • Publisher: Springer
Go to full description & specifications


79.99
79.99
https://www.staples-3p.com/s7/is/image/Staples/m001244597
09783642308840
Assorted Publishers
Abstract State Machines, Alloy, B, VDM, and Z
Product Description
Abstract State Machines, Alloy, B, VDM, and Z by Fitzgerald Derrick by Fitzgerald Derrick - Highlighting the subjects of hardware and software systems, modeling and experimental validation

Abstract State Machines, Alloy, B, VDM, and Z by Derrick covers the proceedings of the Third International Conference on Abstract State Machines, held in Italy. The conference focused on design and analysis of hardware and software systems.

  • Author Name: Derrick, John; Fitzgerald, John S. & Gnesi, Stefania
  • No of Pages: 378 Pages
  • Publisher: Springer
  • Publishing Date: June 12, 2012
  • Language: English
  • ISBN -10: 3642308848
  • ISBN -13: 978-3642308840
  • Edition: 2012
Reviews