ShopSpell

Computer-Aided Verification of Coordinating Processes The Automata-Theoretic Ap [Paperback]

$70.99       (Free Shipping)
100 available
  • Category: Books (Computers)
  • Author:  Kurshan, Robert P.
  • Author:  Kurshan, Robert P.
  • ISBN-10:  0691606056
  • ISBN-10:  0691606056
  • ISBN-13:  9780691606057
  • ISBN-13:  9780691606057
  • Publisher:  Princeton University Press
  • Publisher:  Princeton University Press
  • Pages:  284
  • Pages:  284
  • Binding:  Paperback
  • Binding:  Paperback
  • Pub Date:  01-Apr-2014
  • Pub Date:  01-Apr-2014
  • SKU:  0691606056-11-MPOD
  • SKU:  0691606056-11-MPOD
  • Item ID: 105721010
  • Seller: ShopSpell
  • Ships in: 2 business days
  • Transit time: Up to 5 business days
  • Delivery by: Feb 06 to Feb 08
  • Notes: Brand New Book. Order Now.
Add Review