Formal Methods in Software Engineering
Formal Methods in Software Engineering
by Ajit Singh
$29.99List $30.26Save 1%Paperback
In stock, ships in 1-2 business days
Free standard shipping on orders over $40. ISBN 9798249680060
1
Details
- Format
- Paperback
- ISBN-13
- 9798249680060
- Publisher
- Independently Published
- Published
- February 24, 2026
- Pages
- 280
- Weight
- 13.3 oz
- Subject
- Computers
More by Ajit Singh
All books
Overseeing Learning Beyond Silicon
Ajit Singh
$29.99
Organoid Intelligence: The Post-Silicon Era
Ajit Singh
$31.99
Quantum Artificial Intelligenc
Ajit Singh
$30.99
Playwright MCP with Claude
Ajit Singh
$29.99
Quantum Information Systems
Ajit Singh
$29.99
Agentic Memory Database: Beyond Vector Database
Ajit Singh
$28.99
Claude Code: Reverse Engineering
Ajit Singh
$28.99
Agentic Internet: Internet of Agents (IoA)
Ajit Singh
$28.99
Software Engineering for AI
Ajit Singh
$28.99
Agentic Programming
Ajit Singh
$29.99
Zero-Knowledge Proofs
Ajit Singh
$28.99
Photonic Intelligence
Ajit Singh
$37.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