search for books and compare prices
Karen Summerskill has written 2 work(s)
Search for other authors with the same name
displaying 1 to 2 | 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.

Formal Methods for Trustworthy Computer Systems (Fm89): Report from Fm89: a Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23-27 July 1989, Halifax, Canada
cover image for 9783540196358
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 Karen Summerskill (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540196358 | Spiral-bound edition (Springer-Verlag New York Inc, November 19, 1990), cover price $99.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 2 | at end