or
Sign in to turn on 1-Click ordering.
 
 
More Buying Choices
3 used & new from £37.23
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: £39.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.

2 new from £37.23 1 used from £49.00

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?)
   Industrial Applications opens new browser window
www.zeiss.de/AxioImagerMAT  -  Manifold areas of application opting for versatility 
   Industrial Product Design opens new browser window
www.FirsthandDesign.co.uk  -  New Product Development Design for Manufacture 
   Industrial Design CAD opens new browser window
www.Solidworks-CPD.co.uk  -  Designed for Performance. The Complete CAD Solution. 
  
 

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.
Video reviews
Video reviews
Amazon now allows customers to upload product video reviews. Use a webcam or video camera to record and upload reviews to Amazon.


Customer Discussions

This product's forum
Discussion Replies Latest Post
No discussions yet

Ask questions, Share opinions, Gain insight
Start a new discussion
Topic:
First post:
Prompts for sign-in
 

   

Look for similar items by category

Look for similar items by subject

















i.e., each product must be in subject 1 AND subject 2 AND ...

Feedback

Ad

Your Recent History

 (What's this?)

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