Computers & Internet
Introducing Software Verification With Dafny Language: Proving Program Correctness
₹2,522.7
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Genuine BookPhysical copy only
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Product Description
By Sitnikovski, Boro. Published by Apress. Format: Paperback. Edition: 1st ed.. 131 pages. Language: english. Published: 2022-03-15.
Book Specifications
| ISBN-13 | 9781484279779 |
| ISBN-10 | 1484279778 |
| Publisher | Apress |
| Language | english |
| Print Length | 131 pages |
| Category | Computers & Internet |
Frequently Asked Questions
What is the price of Introducing Software Verification With Dafny Language: Proving Program Correctness?
Introducing Software Verification With Dafny Language: Proving Program Correctness is available at ₹2,522.7 on BookShops.in.
Does BookShops.in offer free delivery for Introducing Software Verification With Dafny Language: Proving Program Correctness?
FREE delivery on all orders for Introducing Software Verification With Dafny Language: Proving Program Correctness.
Is Cash on Delivery available for Introducing Software Verification With Dafny Language: Proving Program Correctness?
Yes, Cash on Delivery (COD) is available for Introducing Software Verification With Dafny Language: Proving Program Correctness on BookShops.in. Pay when your order arrives.
What is the return policy for Introducing Software Verification With Dafny Language: Proving Program Correctness?
BookShops.in offers a 15-day hassle-free return policy for Introducing Software Verification With Dafny Language: Proving Program Correctness. Contact us at [email protected] or call +91 81899 68108.
Is Introducing Software Verification With Dafny Language: Proving Program Correctness authentic?
Introducing Software Verification With Dafny Language: Proving Program Correctness is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Customers Also Bought
Software
User-centered Computer Aided Language Learning
₹1,920
Software
Emerging Free and Open Source Software Practices by Sulayman K. Sowe – F/OSS Development
₹2,950
Software
Microsoft Dynamics NAV 2009 Programming Cookbook by Matt Traxinger
₹3,215
Software
Online Bookselling: A Practical Guide with Detailed Explanations and Insightful Tips
₹3,491.42
Software
Religion Enters the Academy: The Origins of the Scholarly Study of Religion in America
₹3,376.02
Software
Advanced Mathematical and Computational Tools in Metrology and Testing X
₹5,148
Related Products
View All
Computers & Internet
Programming Perl 3e
₹4,000
Computers & Internet
No Fluff, Just Stuff Anthology The 2007 Edition
₹4,000
Computers & Internet
Probabilistic Machine Learning for Finance and Investing: A Primer to the Next Generation of AI with Python: A Primer to Generative AI With Python
₹4,000
Computers & Internet
The Information Diet: A Case for Conscious Comsumption
₹4,000
Computers & Internet
Data Algorithms with Spark: Recipes and Design Patterns for Scaling Up Using Pyspark
₹4,000
Computers & Internet
Future Generation Information Technology | by Tai-hoon Kim | Hojjat Adeli | Dominik Slezak | Springer | by Tai-hoon Kim | Hojjat Adeli | Dominik Slezak | Springer | by Tai-hoon Kim | Hojjat Adeli | Dominik Slezak | Springer | by Tai-hoon Kim | Hojjat Adeli | Dominik Slezak | Springer | by Tai-hoon Kim | Hojjat Adeli | Dominik Slezak | Springer | by Tai-hoon Kim | Hojjat Adeli | Dominik Slezak | Springer | by Tai-hoon Kim | Hojjat Adeli | Dominik Slezak | Springer | by Tai-hoon Kim | Hojjat Adeli
₹5,609