LOTOS Petri Net Verification
| AUTHOR | Kol, Rakefet; Yoeli, Michael; Yoeli et al. |
| PUBLISHER | Wiley-Interscience (03/01/2008) |
| PRODUCT TYPE | Hardcover (Hardcover) |
Description
Show More
Product Format
Product Details
ISBN-13:
9780471704492
ISBN-10:
0471704490
Binding:
Hardback or Cased Book (Sewn)
Content Language:
English
More Product Details
Page Count:
248
Carton Quantity:
26
Product Dimensions:
6.10 x 0.90 x 9.30 inches
Weight:
1.20 pound(s)
Feature Codes:
Bibliography,
Index,
Table of Contents
Country of Origin:
US
Subject Information
BISAC Categories
Technology & Engineering | Electronics - Circuits - General
Technology & Engineering | Computer Engineering
Dewey Decimal:
621.381
Library of Congress Control Number:
2007033487
List Price $149.95
Your Price
$148.45