Model Checking Abstract State Machines

Model Checking Abstract State Machines

by Kirsten Winter
ISBN-10:
3639018915
ISBN-13:
9783639018912
Pub. Date:
05/15/2008
Publisher:
VDM Verlag Dr. Mueller e.K.

Paperback

Current price is , Original price is $111.0. You
Select a Purchase Option
  • purchase options
    $95.67 $111.00 Save 14% Current price is $95.67, Original price is $111. You Save 14%.
  • purchase options

Product Details

ISBN-13: 9783639018912
Publisher: VDM Verlag Dr. Mueller e.K.
Publication date: 05/15/2008
Pages: 208
Product dimensions: 6.00(w) x 9.00(h) x 0.44(d)

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews