Join Amazon Prime and get unlimited Free One-Day Delivery. Already a member? Sign in.

 

or
Sign in to turn on 1-Click ordering.
 
   
More Buying Choices
8 used & new from £34.19
Have one to sell? Sell yours here
 
   
Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems (Advanced Computing and Telecommunications Series)
 
 
Share your own customer images
Search inside this book

Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems (Advanced Computing and Telecommunications Series) (Hardcover)

by Dan Craigen (Author), Susan Gerhart (Author) "Formal methods are mathematically-based techniques, often supported by reasoning tools ..." (more)
No customer reviews yet. Be the first.
Price: £35.99 & this item Delivered FREE in the UK with Super Saver Delivery. See details and conditions
o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o
Temporarily out of stock.
Order now and we'll deliver when available. We'll e-mail you with an estimated delivery date as soon as we have more information. Your account will only be charged when we ship the item.
Dispatched from and sold by Amazon.co.uk. Gift-wrap available.

4 new from £34.19 4 used from £58.36

Product details

  • Hardcover: 318 pages
  • Publisher: William Andrew (12 Feb 1995)
  • Language English
  • ISBN-10: 0815513623
  • ISBN-13: 978-0815513629
  • Product Dimensions: 25.4 x 17.8 x 2.5 cm
  • Average Customer Review: No customer reviews yet. Be the first.

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

Customers Viewing This Page May Be Interested in These Sponsored Links

  (What is this?)
Sensors from SensoPart
   www.sensopart.com    Optoelectronic and vision sensors for your industrial application. 
Microwave Processing
   www.ctechinnovation.com    Expertise in the development of novel heating systems 
  
 

Product Description

Product Description
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. The purpose of this study is to evaluate international industrial experience in using formal methods. The cases selected are representative of industrial-grade projects and span a variety of application domains. The study had three main objectives:

· To better inform deliberations within industry and government on standards and regulations;
· To provide an authoritative record on the practical experience of formal methods to date; and

À To suggest areas where future research and technology development are needed.

This study was undertaken by three experts in formal methods and software engineering: Dan Craigen of ORA Canada, Susan Gerhart of Applied Formal Methods, and Ted Ralston of Ralston Research Associates. Robin Bloomfield of Adelard was involved with the Darlington Nuclear Generating Station Shutdown System case.

Support for this study was provided by organizations in Canada and the United States. The Atomic Energy Control Board of Canada (AECB) provided support for Dan Craigen and for the technical editing provided by Karen Summerskill. The U.S. Naval Research Laboratories (NRL), Washington, DC, provided support for all three authors. The U.S. National Institute of Standards and Technology (NIST) provided support for Ted Ralston.
Inside This Book (Learn More)
First Sentence
Formal methods are mathematically-based techniques, often supported by reasoning tools. Read the first page
Explore More
Concordance
Browse Sample Pages
Front Cover | Copyright | Table of Contents | Excerpt | Back Cover
Search inside this book:

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.
Your tags: Add your first tag
 
See most popular tags

Customer Reviews


There are no customer reviews yet.   Create your own review
Video reviews
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.


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]

   

Look for similar items by category

Feedback

Fun for Everyone

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

›Shop the Powerball store

  

Let Olay Amaze You

Olay Total Effects Day Moisturiser SPF15 50ml
Amazon.co.uk sells all your favourite ranges from Olay, including Regenerist and Total Effects.

›Discover Olay at Amazon.co.uk

  

A Close Shave

Philips Nivea Coolskin HS8060 Moisturizing Rotary Shaving System
For all types of hair removal, stay smooth with Amazon.co.uk.

›Discover Shaving & Hair Removal

  

Treat Someone

Amazon.co.uk Gift Certificates--available in any amount from £5 to £500 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

  
Ad

Where's My Stuff?

Delivery and Returns

Need Help?

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

amazon.co.uk 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
Conditions of Use & Sale |  Privacy Notice  © 1996-2009, Amazon.com, Inc. and its affiliates