Skip to product information
Abstract State Machines, Alloy, B and Z
  • Abstract State Machines, Alloy, B and Z
Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings

Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings

$49.49 $54.99

Reliable shipping

Flexible returns

Lecture Notes in Computer Science Theoretical Computer Science and General Issues

Abstract State Machines, Alloy, B and Z

Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings

Marc Frappier | Uwe Glässer | Sarfraz Khurshid | Régine Laleau | Steve Reeves

Computers / Computer Science


Publication Date: 02 March 2010
Publisher: Springer Berlin Heidelberg
Imprint: Springer
ISBN-13: 9783642118104
Format: Paperback softback
Page Count: 416

You may also like