All Formats & Editions
1 - 2 of 2 results found
Mural: A Formal Development Support System
Edition Details
Format:Paperback
Language:English
ISBN:354019651X
Format: Paperback
Condition:
$
62.63
50 Available
Mural: A Formal Development Support System
Edition Description
Formal methods enable computer architecture and software design to be mathematically proved correct before they are implemented. The complexity and time-consuming nature of such proofs have limited the applications of formal methods in the main to defence and safety-critical...
Edition Details
Format:Paperback
Language:English
ISBN:B007RBTYUC
Format: Paperback
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
Copyright © 2023 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
