Magnificent Marvel Supersale
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Visit our stores


    Recently Viewed clear list


    Original Essays | March 26, 2015

    Kyle Boelte: IMG Selfies, Memoir, and the World Beyond the Self



    When I was a teenager in Colorado during the late '90s, I liked to climb 14ers — 14,000-foot mountains. I'd often hike with friends, and at... Continue »

    spacer
Qualifying orders ship free.
$141.25
New Hardcover
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Computers Reference- General

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:
19930631
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 New Trade Paper $3.99
  5. Living in the Number One Country:... New Hardcover $23.25
  6. War of the Ring #3: The War of the... Used Hardcover $14.50

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
$141.25 In Stock
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.