FORMAL VERIFICATION FOR SOFTWARE SYSTEMS: Model checking correctness proofs and specification driven development
ANT
$4.19
$6.99You save $2.80
Format
Digital edition
PDFEPUB
About this edition
• Instant access to your digital edition.
• Read anytime, anywhere, on your favorite device.
• No shipping — your book is delivered digitally.
• Simple, secure access after purchase.
Published date
January 10, 2026
Author
Enrimus Zion
Instant digital delivery after purchase.
Download link available immediately after checkout.
In stock
Secure checkout — encrypted end to end
Free exchange or return within 30 days if the product is defective.
Digital formats available instantly
Readers also enjoyed
Discover another great read to add to your digital library.
$4.19
$6.99
Description
An advanced guide to formal verification techniques including model checking, correctness proofs, and specification driven software development.
Specifications
FormatEPUB, PDF
Pages175
LanguageEnglish
ISBN-13979-8243353243
Frequently asked
Do I need an account to download?
No. After purchase, you can access your ebook directly from the order confirmation or download page.
What if a copy arrives damaged?
Contact us and we’ll help you access the file or provide a replacement download if needed.