| Model Checking Abstract State Machines Contributor(s): Winter, Kirsten (Author) |
|
 |
ISBN: 3639018915 ISBN-13: 9783639018912 Publisher: VDM Verlag Dr. Mueller E.K. OUR PRICE: $81.05 Product Type: Paperback Published: May 2008 |
| Additional Information |
| BISAC Categories: - Technology & Engineering | Machinery |
| Physical Information: 0.44" H x 6" W x 9" (0.63 lbs) 208 pages |