Formal methods for trustworthy computer systems (FM89) - Info and Reading Options
By Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems (1989 Halifax, N.S.)
“Formal methods for trustworthy computer systems (FM89)” Metadata:
- Title: ➤ Formal methods for trustworthy computer systems (FM89)
- Author: ➤ Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems (1989 Halifax, N.S.)
“Formal methods for trustworthy computer systems (FM89)” Subjects and Themes:
- Subjects: ➤ Computer software - Congresses - Formal methods (Computer science) - Testing - Validation - Verification - Computer software, validation - Computer software, verification - System design
Edition Identifiers:
- The Open Library ID: OL4448437W
AI-generated Review of “Formal methods for trustworthy computer systems (FM89)”:
Read “Formal methods for trustworthy computer systems (FM89)”:
Read “Formal methods for trustworthy computer systems (FM89)” by choosing from the options below.
Search for “Formal methods for trustworthy computer systems (FM89)” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Formal methods for trustworthy computer systems (FM89)” in Libraries Near You:
Read or borrow “Formal methods for trustworthy computer systems (FM89)” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Formal methods for trustworthy computer systems (FM89)” at a library near you.
Buy “Formal methods for trustworthy computer systems (FM89)” online:
Shop for “Formal methods for trustworthy computer systems (FM89)” on popular online marketplaces.
- Ebay: New and used books.