ShopSpell

Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS [Hardcover]

$139.99       (Free Shipping)
100 available
  • Category: Books (Technology & Engineering)
  • Author:  Yoeli, Michael, Kol, Rakefet
  • Author:  Yoeli, Michael, Kol, Rakefet
  • ISBN-10:  0471704490
  • ISBN-10:  0471704490
  • ISBN-13:  9780471704492
  • ISBN-13:  9780471704492
  • Publisher:  Wiley-Interscience
  • Publisher:  Wiley-Interscience
  • Pages:  248
  • Pages:  248
  • Binding:  Hardcover
  • Binding:  Hardcover
  • Pub Date:  01-May-2008
  • Pub Date:  01-May-2008
  • SKU:  0471704490-11-MPOD
  • SKU:  0471704490-11-MPOD
  • Item ID: 104288176
  • Seller: ShopSpell
  • Ships in: 2 business days
  • Transit time: Up to 5 business days
  • Delivery by: Jul 03 to Jul 05
  • Notes: Brand New Book. Order Now.
Add Review