FORMAL VERIFICATION FOR SOFTWARE SYSTEMS: Model checking correctness proofs and specification driven development

FORMAL VERIFICATION FOR SOFTWARE SYSTEMS: Model checking correctness proofs and specification driven development

Independently published

Pages: 175, Paperback, Independently published

Compare prices (1 shop)

Sort: Price: lowest first Price: highest first

shop	Price	Action
	9,69 GBP	Go to shop

Similar products

Introducing Software Verification with Dafny Language: Proving Program Correctness
From 27,97 EUR
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
From 15,95 EUR
Codex — Software Design in the Age of AI Agents: Design Doc–Driven Development and Self-Correcting Systems
From 25,87 EUR
Specification-Driven Product Development
From 12,95 EUR
Software Engineering: Architecture-driven Software Development
From 34,39 EUR
Spec-Driven Development with AI: The Practitioner's Playbook for Building Complete Specifications for Software, Products, and Knowledge Work
From 14,85 EUR