Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings
Sale price
$49.49
Regular price $54.99
Skip to product information
Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings
Sale price
$49.49
Regular price $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 |