Item added to cart

Free

Shipping
16% Off
ShopSpell

Decidability of Parameterized Verification [Paperback]

$41.99     $49.99   16% Off     (Free Shipping)
100 available
  • Category: Books (Computers)
  • Author:  Bloem, Roderick, Jacobs, Swen, Kalimov, Ayrat, Konnov, Igor
  • Author:  Bloem, Roderick, Jacobs, Swen, Kalimov, Ayrat, Konnov, Igor
  • ISBN-10:  3031008839
  • ISBN-10:  3031008839
  • ISBN-13:  9783031008832
  • ISBN-13:  9783031008832
  • Publisher:  Springer
  • Publisher:  Springer
  • Binding:  Paperback
  • Binding:  Paperback
  • Pub Date:  01-Apr-2015
  • Pub Date:  01-Apr-2015
  • SKU:  3031008839-11-SPRI
  • SKU:  3031008839-11-SPRI
  • Item ID: 104591181
  • List Price: $49.99
  • Seller: ShopSpell
  • Ships in: 5 business days
  • Transit time: Up to 5 business days
  • Delivery by: Dec 01 to Dec 03
  • Notes: Brand New Book. Order Now.
Add Review

 

 

 

 

Copyright © 2018 - 2024 ShopSpell