.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Methods for Trustworthy Computer Systems
. Ed(S): Craigen, Dan; Summerskill, Karen
€ 67.33
FREE Delivery in Ireland
Description for Formal Methods for Trustworthy Computer Systems
Paperback. The proceedings of a workshop which assessed the role of formal methods in the development and fielding of trustworthy critical systems. The aim of the workshop was to assess problems retarding the development of critical systems and to identify how to improve formal research methods. Editor(s): Craigen, Dan; Summerskill, Karen. Series: Workshops in Computing. Num Pages: 248 pages, 1 black & white illustrations, biography. BIC Classification: UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 14. Weight in Grams: 514.
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. The workshop was held in Halifax, Nova Scotia, Canada, from July 23 through July 27, 1989. This document reports the activities, observations, recommendations and conclusions resulting. from FM89. 1. 1 Purpose of Workshop The primary purpose for holding FM89 was to assess the role of formal methods in the development and fielding of trustworthy critical systems. The need for this ... Read more
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. The workshop was held in Halifax, Nova Scotia, Canada, from July 23 through July 27, 1989. This document reports the activities, observations, recommendations and conclusions resulting. from FM89. 1. 1 Purpose of Workshop The primary purpose for holding FM89 was to assess the role of formal methods in the development and fielding of trustworthy critical systems. The need for this ... Read more
Product Details
Format
Paperback
Publication date
1990
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
248
Condition
New
Series
Workshops in Computing
Number of Pages
248
Place of Publication
Berlin, Germany
ISBN
9783540196358
SKU
V9783540196358
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Methods for Trustworthy Computer Systems