search for books and compare prices
Dan Craigen 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
Hardcover:
9780815513629 | Noyes Pubns, November 1, 1994, cover price $72.95 | About this edition: Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyze computer systems.
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
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 2 |
at end