Items related to Formal Methods for Trustworthy Computer Systems (FM89):...

Formal Methods for Trustworthy Computer Systems (FM89): Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer ... Halifax, Canada (Workshops in Computing) - Softcover

 
9783540196358: Formal Methods for Trustworthy Computer Systems (FM89): Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer ... Halifax, Canada (Workshops in Computing)

Synopsis

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 assessment was predicated upon four observations: 1. Critical systems are increasingly being controlled by computer systems; 2. Existing techniques for developing, assuring and certifying computer-based critical systems are inadequate; 3. Formal methods have the potential for playing the same role in the devel­ opment of computer-based systems as applied mathematics does for other engineering disciplines; and 4. Formal methods have had limited impact on the development of comput- based systems and supporting technologies. · The goal of the workshop was to complete the following tasks: 1. Assess the problems retarding the development of trustworthy critical systems; 2. Determine the (potential) impact of applying formal methods techniques to the development of trustworthy critical systems; 3. Determine the research and development required to facilitate a broader ap­ plication of formal methods techniques; 4.

"synopsis" may belong to another edition of this title.

Buy Used

Condition: As New
Like New
View this item

US$ 33.89 shipping from United Kingdom to U.S.A.

Destination, rates & speeds

Other Popular Editions of the Same Title

9780387196350: Formal Methods for Trustworthy Computer Systems: Report from Fm89--A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, ... Halifax, Canada (Workshops in Computing)

Featured Edition

ISBN 10:  0387196358 ISBN 13:  9780387196350
Publisher: Springer Verlag
Softcover

Search results for Formal Methods for Trustworthy Computer Systems (FM89):...

Stock Image

Published by Springer, 1990
ISBN 10: 3540196358 ISBN 13: 9783540196358
New Softcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Mar3113020162160

Contact seller

Buy New

US$ 59.54
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 1990
ISBN 10: 3540196358 ISBN 13: 9783540196358
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783540196358_new

Contact seller

Buy New

US$ 70.95
Convert currency
Shipping: US$ 16.24
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Craigen, Dan
Published by Springer 1990-11, 1990
ISBN 10: 3540196358 ISBN 13: 9783540196358
New PF

Seller: Chiron Media, Wallingford, United Kingdom

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

PF. Condition: New. Seller Inventory # 6666-IUK-9783540196358

Contact seller

Buy New

US$ 66.68
Convert currency
Shipping: US$ 21.00
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 10 available

Add to basket

Stock Image

Published by Springer, 1990
ISBN 10: 3540196358 ISBN 13: 9783540196358
New Softcover

Seller: Books Puddle, New York, NY, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. pp. 260. Seller Inventory # 2697855866

Contact seller

Buy New

US$ 85.15
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: 4 available

Add to basket

Stock Image

Published by Springer, 1990
ISBN 10: 3540196358 ISBN 13: 9783540196358
New Softcover
Print on Demand

Seller: Majestic Books, Hounslow, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Print on Demand pp. 260 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam. Seller Inventory # 94541477

Contact seller

Buy New

US$ 87.65
Convert currency
Shipping: US$ 8.81
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 4 available

Add to basket

Seller Image

Dan Craigen
Published by Springer London, 1990
ISBN 10: 3540196358 ISBN 13: 9783540196358
New Taschenbuch

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering. Seller Inventory # 9783540196358

Contact seller

Buy New

US$ 64.49
Convert currency
Shipping: US$ 35.44
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Craigen, Dan (Editor) / Summerskill, Karen (Co-editor)
Published by Springer, 1990
ISBN 10: 3540196358 ISBN 13: 9783540196358
New Paperback

Seller: Revaluation Books, Exeter, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Brand New. spiral-bound edition. 258 pages. 9.61x6.70x0.59 inches. In Stock. Seller Inventory # x-3540196358

Contact seller

Buy New

US$ 91.22
Convert currency
Shipping: US$ 13.56
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Craigen Dan
Published by Springer, 1990
ISBN 10: 3540196358 ISBN 13: 9783540196358
New Softcover
Print on Demand

Seller: Biblios, Frankfurt am main, HESSE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. PRINT ON DEMAND pp. 260. Seller Inventory # 1897855856

Contact seller

Buy New

US$ 96.50
Convert currency
Shipping: US$ 11.65
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 4 available

Add to basket

Seller Image

Craigen, Dan|Summerskill, Karen
Published by Springer London, 1990
ISBN 10: 3540196358 ISBN 13: 9783540196358
New Softcover

Seller: moluna, Greven, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 4884229

Contact seller

Buy New

US$ 58.32
Convert currency
Shipping: US$ 57.35
From Germany to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Dan Craigen
ISBN 10: 3540196358 ISBN 13: 9783540196358
New Taschenbuch
Print on Demand

Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch. Seller Inventory # 9783540196358

Contact seller

Buy New

US$ 64.49
Convert currency
Shipping: US$ 64.39
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

There are 2 more copies of this book

View all search results for this book