ShopSpell

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

$140.99       (Free Shipping)
100 available
  • Category: Books (Computers)
  • Author:  Kurshan, Robert P.
  • Author:  Kurshan, Robert P.
  • ISBN-10:  0691634890
  • ISBN-10:  0691634890
  • ISBN-13:  9780691634890
  • ISBN-13:  9780691634890
  • Publisher:  Princeton University Press
  • Publisher:  Princeton University Press
  • Pages:  284
  • Pages:  284
  • Binding:  Hardcover
  • Binding:  Hardcover
  • Pub Date:  01-Apr-2016
  • Pub Date:  01-Apr-2016
  • SKU:  0691634890-11-MPOD
  • SKU:  0691634890-11-MPOD
  • Item ID: 105721011
  • Seller: ShopSpell
  • Ships in: 2 business days
  • Transit time: Up to 5 business days
  • Delivery by: Feb 05 to Feb 07
  • Notes: Brand New Book. Order Now.
Add Review