Introducing Blockchain with Lisp
Boro Sitnikovski
₹3,959
Introducing Software Verification with Dafny Language
Proving Program Correctness
Apress · 2022
₹2,624
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Introducing Software Verification with Dafny Language: Proving Program Correctness is written by Boro Sitnikovski. This edition from Apress (2022) has 131 pages.
Book details
- ISBN-13
- 9781484279779
- ISBN-10
- 1484279778
- Author
- Boro Sitnikovski
- Publisher
- Apress
- Published
- 2022
- Edition
- 1st ed.
- Pages
- 131
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More by Boro Sitnikovski and related titles
Introduction to Dependent Types with Idris
Boro Sitnikovski
₹2,830
Technology Applications in School Psychology Consultation, Supervision, and Training
Aaron J. Fischer, Evan H. Dart, Keith C. Radley
₹4,040
Smart and Secure Internet of Healthcare Things
₹11,831
The Interpretation of Object-Oriented Programming Languages
Iain D. Craig
₹3,891
Remote Sensing and Image Processing in Mineralogy
Maged Marghany
₹17,109
Leading and Transforming Education Systems
Alma Harris Michelle Jones
₹3,212
The Politics of Humanitarian Technology
Katja Lindskov Jacobsen
₹14,002
Geeks on Call Wireless Networking
J. Geier, J. R. King, E. Geier
₹1,914
Learn Android Studio 3 with Kotlin
Ecky Putrady
₹4,334
Topics on System Analysis and Integrated Water Resources Management
₹3,622
Quantum (Un)speakables
J. S. Bell, Reinhold A. Bertlmann, Anton Zeilinger
₹11,541