Murakami Sale
 
 

Recently Viewed clear list


Original Essays | August 20, 2014

Julie Schumacher: IMG Dear Professor Fitger



Saint Paul, August 2014 Dear Professor Fitger, I've been asked to say a few words about you for Powells.com. Having dreamed you up with a ball-point... Continue »
  1. $16.07 Sale Hardcover add to wish list

    Dear Committee Members

    Julie Schumacher 9780385538138

spacer

Specification and proof in real-time CSP

by

Specification and proof in real-time CSP Cover

 

Synopses & Reviews

Publisher Comments:

Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. Where such systems control aircraft for example, system failure could have disastrous consequences. It is important therefore that we are able to employ mathematical techniques to specify the behavior of critical systems. This thesis uses the theory of Communicating Sequential Processes to show how a real-time system (a system that maintains a continuous interaction with its environment) may be specified. Included is a case study in which a local area network protocol is described at two levels of abstraction, and a general method for structuring CSP descriptions of layered protocols is given. The research contained here represents the very latest work on the specification and verification of real-time systems.

Synopsis:

The research contained here represents the very latest work on the specification and verification of real-time systems using CSP.

Description:

Includes bibliographical references (p. [175]-180).

Product Details

ISBN:
9780521450553
Author:
Davies, Jim
Publisher:
Cambridge University Press
Location:
Cambridge ;
Subject:
Programming - Software Development
Subject:
Real-time data processing
Subject:
General Computers
Subject:
Computers-Reference - General
Edition Description:
Includes bibliographical references p. 175-180.
Series:
Distinguished dissertations in computer science
Series Volume:
6
Publication Date:
19930531
Binding:
HARDCOVER
Grade Level:
Professional and scholarly
Language:
English
Pages:
198

Other books you might like

  1. Allan Stein Used Trade Paper $4.95
  2. Tiffany Lamps Cards (Card Books) Gifts Miscellaneous $5.95
  3. Allan Stein Used Trade Paper $4.95
  4. Read-Aloud Bedtime Bible Story Book Used Trade Paper $2.95
  5. Living in the Number One Country:... New Hardcover $23.25
  6. The Street Used Trade Paper $5.95

Related Subjects

Business » General
Computers and Internet » Computers Reference » General
Computers and Internet » Software Engineering » General
Computers and Internet » Software Engineering » Programming and Languages
Engineering » Communications » Telephony

Specification and proof in real-time CSP New Hardcover
0 stars - 0 reviews
$134.25 Backorder
Product details 198 pages University of Cambridge Press,1993. - English 9780521450553 Reviews:
"Synopsis" by , The research contained here represents the very latest work on the specification and verification of real-time systems using CSP.
spacer
spacer
  • back to top
Follow us on...




Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.