This item is not eligible for Amazon Prime, but millions of other items are. Join Amazon Prime today. Already a member? Sign in.

Get it for less! Order it used

Have one to sell? Sell yours here

Publisher: learn how customers can search inside this book.

Formal Methods for Trustworthy Computer Systems (Workshops in Computing) (Paperback)

by Dan Craigen (Editor), Karen Summerskill (Editor)

No customer reviews yet. Be the first.

Currently unavailable.
We don't know when or if this item will be back in stock.

Other Editions:	RRP:	Our Price:	Other Offers:
Paperback			2 used & new from �112.95

Product details

Paperback: 248 pages
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K (Nov 1990)
Language English
ISBN-10: 3540196358
ISBN-13: 978-3540196358
Average Customer Review: No customer reviews yet. Be the first.

Would you like to update product info or give feedback on images?

See Complete Table of Contents

Customers Viewing This Page May Be Interested in These Sponsored Links

(What is this?)

Computer Systems Training

www.Career-in-IT.co.uk Starting salaries up to �37K No experience necessary

Schaefer Warehousing

www.ssi-schaefer.co.uk Specialist Warehouse Systems from SSI Schaefer

Be Worthy of Trust

TheWayToHappiness.org The Way To Happiness: Non-Religious Moral Code. Watch Online Videos.

Product Description

Product Description
This volume contains the discussions, recommendations and conclusions resulting from a Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, held in Halifax, Nova Scotia, Canada in July 1989. This workshop brought together representatives of research, commerce and government organizations from Canada, the USA and the UK. The main purpose of the workshop was to assess the role of formal methods in the development and fielding of trustworthy critical systems. The aims of the workshop were to assess the problems retarding the development of trustworthy critical systems, to determine the potential impact of applying formal methods techniques to the development of trustworthy critical systems, to determine the research required to facilitate a broader application of formal methods techniques, to identify "example systems" that would be useful in measuring the effectiveness of formal methods, and to identify how to improve international co-ordination and communication of formal methods research.

Tag this product

(What's this?)

Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items.

Customer Reviews

There are no customer reviews yet. Create your own review

Video reviews

New feature! Amazon now allows customers to upload product video reviews. Use a webcam or video camera to record and upload reviews to Amazon.

.jsOffDisplayBlock { display: block; } .jsOffDisplayInline { display: inline; } .jsOffVisibility { visibility: visible; } .jsOnDisplayBlock { display: none; } .jsOnDisplayNoneBlock { display: block; } .jsOnDisplayNoneInline { display: inline; } .jsOnDisplayInline { display: none; } .jsOnVisibility { visibility: hidden; } .jsOnDisplayBlock { display: none; } .jsOnDisplayInline { display: none; } .jsOnVisibility { visibility: hidden; }

Customer Discussions

Beta (What's this?)

This product's forum (0 discussions)

	Discussion	Replies	Latest Post
	No discussions yet

Ask questions, Share opinions, Gain insight

Start a new discussion

Topic:

First post:

Prompts for sign-in

[Cancel]

Guidelines

Look for similar items by category

Books > Computing & Internet > Computer Science > Systems Analysis & Design

Feedback

Would you like to update product info or give feedback on images?
I am the Author, and I want to comment on my book.
I am the Publisher, and I want to comment on this book.

Fun for Everyone

Achieve over 15,000 RPM with our great range of Powerballs.

›Shop the Powerball store

Up to 75% off Shoes

Save up to 75% on shoes for the whole family.

›Shop clearance shoes

Up to 50% off Dental Care

Put a sparkle in your smile with up to 50% off selected Oral-B and Philips rechargeable toothbrushes.

›Up to 50% off power toothbrushes

Treat Someone

With an Amazon.co.uk Gift Certificate, you can get them what they want (even if you don't know what that is).

›Learn more about Gift Certificates

Where's My Stuff?

track your recent orders
view or change your orders in Your Account

Delivery and Returns

see our delivery rates and policies
thinking of returning an item? (See our Returns Policy)

Need Help?

Forgot your password?
Buy Gift Certificates.
still have questions? Visit our Help Pages

Your Recent History

(What's this?)

You have no recently viewed items or searches.

After viewing product detail pages or search results, look here to find an easy way to navigate back to pages you are interested in.

Look to the right column to find helpful suggestions for your shopping session.

Continue Shopping: Top Sellers

The Girl Who Played with Fire by Stieg Larsson

4.5 out of 5 stars (77)�3.86

The Girl with the Dragon Tattoo by Stieg Larsson

4.1 out of 5 stars (175)�3.99

Breaking Dawn (Twilight Saga) by Stephenie Meyer

4.1 out of 5 stars (471)�6.49

New Moon (Twilight Saga) by Stephenie Meyer

4.2 out of 5 stars (229)�3.49


Amazon Home

International Sites: United States \| Germany \| France \| Japan \| Canada \| China

Business Programs: Sell on Amazon \| Fulfilment by Amazon \| Join Associates \| Join Advantage

Customer Service \| Help \| View Basket \| Your Account

About Amazon.co.uk \| Careers at Amazon


Amazon Home

International Sites: United States \| Germany \| France \| Japan \| Canada \| China

Business Programs: Sell on Amazon \| Fulfilment by Amazon \| Join Associates \| Join Advantage

Customer Service \| Help \| View Basket \| Your Account

About Amazon.co.uk \| Careers at Amazon