Introducing Software Verification with Dafny Language
Boro Sitnikovski
₹2,624
Introduction to Dependent Types with Idris
Encoding Program Proofs in Types
APress · 2023
₹2,830
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
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types by Boro Sitnikovski is a 157-page book published by APress in 2023.
Book details
- ISBN-13
- 9781484292587
- ISBN-10
- 1484292588
- Author
- Boro Sitnikovski
- Publisher
- APress
- Published
- 2023
- Edition
- 1st ed.
- Pages
- 157
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More by Boro Sitnikovski and related titles
Introducing Blockchain with Lisp
Boro Sitnikovski
₹3,959
Haptic and Audio Interaction Design
UNKNOWN
₹4,697
Combinatorial Optimization and Applications
Donghyun Kim, R. N. Uma, Alexander Zelikovsky
₹4,322
Algebraic Design Theory and Hadamard Matrices
Charles J. Colbourn
₹7,755
On Theory and Practice of Robots and Manipulators
Kenneth A. Loparo
₹4,265
Design of Low-Voltage Cmos Switched-Opamp Switched-Capacitor Systems
Howard Cam Luong, Vincent S. L. Cheung
₹6,513
Blockchain Essentials
Pallavi Vijay Chavan, Ramchandra Sharad Mangrulkar
₹4,248
The Twitter Presidency
Brian L. Ott, Greg Dickinson
₹5,030
Begründungsprozesse Im Kontext Von (Digitalen) Medien Im Mathematikunterricht
Frederik Dilling
₹3,508
iPod
Jude Biersdorfer, David Pogue
₹4,134
New Directions in the Philosophy of Technology
Joseph C. Pitt
₹7,728