Summerskill Karen (2 results)

Author:

Refine with Advanced Search

Formal Methods for Trustworthy Computer Systems (FM89): Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems. . Halifax, Canada (Workshops in Computing)
Craigen, Dan (Editor) / Summerskill, Karen (Co-editor)
Language: English
Published by Springer, 1990
3540196358 / 9783540196358
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
5-star seller
Contact seller
Condition: New
US$ 91.11
US$ 16.54 shipping
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Paperback. Condition: Brand New. spiral-bound edition. 258 pages. 9.61x6.70x0.59 inches. In Stock.
Formal Methods for Trustworthy Computer Systems (FM89)
Craigen, Dan|Summerskill, Karen
Language: English
Published by Springer London, 1990
3540196358 / 9783540196358
- Softcover
Seller: moluna, Greven, Germanymoluna
5-star seller
Contact seller
Condition: New
US$ 56.50
US$ 55.56 shipping
Ships from Germany to U.S.A.
Quantity: Over 20 available
Condition: New.