search for books and compare prices
Workshop on the Assessment of Formal Methods for Trustworthy Computer has written 1 work(s)
Search for other authors with the same name
displaying 1 to 1 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Formal Methods for Trustworthy Computer Systems: Report from Fm89--A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, 23-27 July 1989, Halifax, Canada
Product Description: The 1989 Workshop on the Assessment of Formal Methods for Trustworthy Com­ puter Systems (FM89} was an invitational workshop that brought together repre­ sentatives from the research, commercial and governmental spheres of Canada, the United Kingdom, and the United States...read more
By Dan Craigen, Karen Summerskill (editor) and Workshop on the Assessment of Formal Methods for Trustworthy Computer
See complete details on each edition (1 edition listed)

Paperback:

9780387196350 | Springer Verlag, March 1, 1991, cover price $49.00 | About this edition: The 1989 Workshop on the Assessment of Formal Methods for Trustworthy Com­ puter Systems (FM89} was an invitational workshop that brought together repre­ sentatives from the research, commercial and governmental spheres of Canada, the United Kingdom, and the United States.

displaying 1 to 1 | at end