Dafny for Reliable Software: Practical Specification, Proof, and Program Design
$38.99List $39.99Save 3%Paperback
In stock, ships in 1-2 business days
Free standard shipping on orders over $40. ISBN 9798161487754
1
Details
- Format
- Paperback
- ISBN-13
- 9798161487754
- Publisher
- Independently Published
- Published
- October 12, 2026
- Pages
- 232
- Weight
- 11.2 oz
- Subject
- Computers
More by William M. Jackson
All books
Anaconda Distribution Mastery: Practical Guide to Python Data Science, Package Management, and Environment Setup
William M. Jackson
$38.99
OpenTracing: Practical Observability for Distributed Services
William M. Jackson
$38.99
Xplenty Integration Patterns: Designing Robust Data Pipelines and System Connectivity
William M. Jackson
$38.99
Mastering gRPCurl: Practical Command-Line Techniques for Inspecting and Testing gRPC APIs
William M. Jackson
$38.99
MSP360 Mastery: Practical Administration, Configuration, and Management
William M. Jackson
$38.99
TestCafe Test Automation Mastery: Practical Engineering Patterns for Reliable End-to-End Testing
William M. Jackson
$38.99
Linkerd in Practice: Mastering Service Mesh Operations and Reliable Traffic Management
William M. Jackson
$38.99
Microservices Architecture: Building, Deploying, and Scaling Distributed Systems
William M. Jackson
$38.99
Mastering Bundler: Practical Setup, Configuration, and Workflow
William M. Jackson
$38.99
Cloud Access Security Broker: A Practical Guide to Security Architecture and Deployment
William M. Jackson
$38.99
Quarkus in Practice: Building Modern Java Applications with Speed and Simplicity
William M. Jackson
$38.99
Counting Mastery: Practical Methods, Patterns, and Strategies
William M. Jackson
$38.99
Popular in Computers
Browse Computers
The Book of Why: The New Science of Cause and Effect
Judea Pearl
$18.99
The Democratization of AI: Making Machine Learning Work for Everyone
V. Ramasamy
$284.99
Theory and Applications of Craig Interpolation
Balder Ten Cate
$89.99
A Practical Guide to Escape Room Design
Michiel Van Eunen
$62.99
Computational Analysis for Digital Medical Imagery
Bipin Kumar Rai
$163.99
AI-Powered Business Analytics: From Data to Decisions
Muhammad Usman Tariq
$87.99
AI for Cybersecurity and Digital Forensics
Suresh Chavhan
$192.99
Python Using Gpt-5 and Gemini
Oswald Campesato
$87.99
Artificial Intelligence in Cybersecurity: Implications for Stakeholders
Rajesh Kumar
$163.99
Recommendation Algorithm Practice at Major Internet Companies
Chuanlin Zhao
$266.99
Digital Policing: Bridging the Gap between Cyber Security, Digital Forensics and Law Enforcement
Rachael Medhurst
$74.99
Wearable AI - The Future of Continuous Health Monitoring in the Metaverse
Balasubramaniam S
$192.99