Item added to cart

Free

Shipping
27% Off
ShopSpell

Introducing Softare Verification ith Dafny Language Proving Program Correctne [Paperback]

$23.99     $32.99    27% Off      (Free Shipping)
100 available
  • Category: Books (Computers)
  • Author:  Sitnikovski, Boro
  • Author:  Sitnikovski, Boro
  • ISBN-10:  1484279778
  • ISBN-10:  1484279778
  • ISBN-13:  9781484279779
  • ISBN-13:  9781484279779
  • Publisher:  Apress
  • Publisher:  Apress
  • Binding:  Paperback
  • Binding:  Paperback
  • Pub Date:  01-Feb-2022
  • Pub Date:  01-Feb-2022
  • SKU:  1484279778-11-SPRI
  • SKU:  1484279778-11-SPRI
  • Item ID: 105265901
  • List Price: $32.99
  • Seller: ShopSpell
  • Ships in: 5 business days
  • Transit time: Up to 5 business days
  • Delivery by: Dec 30 to Jan 01
  • Notes: Brand New Book. Order Now.
Add Review

 

 

 

 

Copyright © 2018 - 2024 ShopSpell