Concurrent Systems (McGraw-Hill International Series in Software Engineering)

3 avg rating
( 1 ratings by Goodreads )
 
9780077076498: Concurrent Systems (McGraw-Hill International Series in Software Engineering)

This text serves as both a practical reference manual and an introduction for students using the formal specification language CSP and implementing it in the specification and verification of complex, real time and distributed systems. The book contains a tutorial introduction suitable for beginners and uses many examples as well as a realistic case study. The implementation of this case study in occam is described and the implementation of CSP in Ada 9x is also discussed. In addition, up-to-date coverage of the important new variants of CSP is provided and a complete listing of the laws of CSP is given.

"synopsis" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Hinchey, Michael G., Jarvis, Stephen A.
Published by McGraw-Hill Companies (1995)
ISBN 10: 0077076494 ISBN 13: 9780077076498
Used Paperback Quantity Available: 1
Seller:
dsmbooks
(Liverpool, United Kingdom)
Rating
[?]

Book Description McGraw-Hill Companies, 1995. Paperback. Book Condition: As New. As New. book. Bookseller Inventory # F5S6-5-Z-0077076494-5

More Information About This Seller | Ask Bookseller a Question

Buy Used
74.80
Convert Currency

Add to Basket

Shipping: 4.10
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

Hinchey, Michael G.; Jarvis, Stephen A.
Published by McGraw-Hill Companies
ISBN 10: 0077076494 ISBN 13: 9780077076498
Used Paperback Quantity Available: 1
Seller:
ThriftBooks - Yankee Clipper
(Windsor Locks, CT, U.S.A.)
Rating
[?]

Book Description McGraw-Hill Companies. Paperback. Book Condition: Fair. Bookseller Inventory # G0077076494I5N00

More Information About This Seller | Ask Bookseller a Question

Buy Used
79
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

3.

Michael G. Hinchey; Stephen A. Jarvis
Published by McGraw-Hill Companies (1995)
ISBN 10: 0077076494 ISBN 13: 9780077076498
Used Paperback Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description McGraw-Hill Companies, 1995. Paperback. Book Condition: Used: Good. Bookseller Inventory # SONG0077076494

More Information About This Seller | Ask Bookseller a Question

Buy Used
10,088.43
Convert Currency

Add to Basket

Shipping: 3.03
Within U.S.A.
Destination, Rates & Speeds