Formal methods for trustworthy computer systems (FM89) - Info and Reading Options
report from FM89--a Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, 23-27 July 1989, Halifax, Canada
By Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems (1989 Halifax, N.S.), Workshop on the Assessment of Formal Methods for Trustworthy Computer and Dan Craigen
"Formal methods for trustworthy computer systems (FM89)" was published by Springer-Verlag in 1990 - London, it has 248 pages and the language of the book is English.
“Formal methods for trustworthy computer systems (FM89)” Metadata:
- Title: ➤ Formal methods for trustworthy computer systems (FM89)
- Authors: ➤ Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems (1989 Halifax, N.S.)Workshop on the Assessment of Formal Methods for Trustworthy ComputerDan Craigen
- Language: English
- Number of Pages: 248
- Publisher: Springer-Verlag
- Publish Date: 1990
- Publish Location: London
“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 Specifications:
- Pagination: x, 248 p. ;
Edition Identifiers:
- The Open Library ID: OL1858046M - OL4448437W
- Online Computer Library Center (OCLC) ID: 23016620
- Library of Congress Control Number (LCCN): 90010317
- ISBN-10: 3540196358 - 0387196358
- All ISBNs: 3540196358 - 0387196358
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.