ShopSpell

Automated Verification of Concurrent Search Structures [Paperback]

$45.99     $59.99    23% Off      (Free Shipping)
100 available
  • Category: Books (Mathematics)
  • Author:  Krishna, Siddharth, Patel, Nisarg, Shasha, Dennis, Wies, Thomas
  • Author:  Krishna, Siddharth, Patel, Nisarg, Shasha, Dennis, Wies, Thomas
  • ISBN-10:  303100678X
  • ISBN-10:  303100678X
  • ISBN-13:  9783031006784
  • ISBN-13:  9783031006784
  • Publisher:  Springer
  • Publisher:  Springer
  • Binding:  Paperback
  • Binding:  Paperback
  • Pub Date:  01-Apr-2021
  • Pub Date:  01-Apr-2021
  • SKU:  303100678X-11-SPRI
  • SKU:  303100678X-11-SPRI
  • Item ID: 104497356
  • List Price: $59.99
  • Seller: ShopSpell
  • Ships in: 5 business days
  • Transit time: Up to 5 business days
  • Delivery by: Jul 04 to Jul 06
  • Notes: Brand New Book. Order Now.
Add Review