SKU
9783639018912
Publishing Ref 9783639018912
Model Checking Abstract State Machines
SR 92 Per Month /4 months
SKU 9783639018912 Publishing Ref 9783639018912
Author:
Winter, Kirsten
Date of Publication:
2008
Book classification:
Engineering,
English Books,
No. of pages: 208 Pages
Format:
Paperback