VDM Verlag Dr. Mueller E.K.
Model Checking Abstract State Machines
Product Code:
9783639018912
ISBN13:
9783639018912
Condition:
New
$85.32
$83.05
Sale 3%
Model Checking Abstract State Machines
$85.32
$83.05
Sale 3%
Model Checking Abstract State Machines
| Author: Kirsten Winter |
| Publisher: VDM Verlag Dr. Mueller E.K. |
| Publication Date: May 15, 2008 |
| Number of Pages: 208 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3639018915 |
| ISBN-13: 9783639018912 |
Related Products
Sale 7%
Karlsruher Institut Fur Technologie
A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Virtual Machine, Memory Model, and Verified Compiler
$72.00
$66.66
