Springer
Model Checking Software: 19th International Spin Workshop, Oxford, Uk, July 23-24, 2012. Proceedings
Product Code:
9783642317583
ISBN13:
9783642317583
Condition:
New
$79.07
Model Checking Software: 19th International Spin Workshop, Oxford, Uk, July 23-24, 2012. Proceedings
$79.07
Model Checking Software: 19th International Spin Workshop, Oxford, Uk, July 23-24, 2012. Proceedings
| Author: Alastair Donaldson |
| Publisher: Springer |
| Publication Date: Jul 25, 2012 |
| Number of Pages: 261 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3642317588 |
| ISBN-13: 9783642317583 |
Related Products
