£37.79

Cambridge University Press Specification and Proof in Real Time CSP: 6 (Distinguished Dissertations in Computer Science, Series Number 6)

d.

Price data last checked 41 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

It has never been this cheap. We have no record of a lower price.

£38 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 50 days • 50 data points (No recent data available)

Historical
Generating forecast...
£52.82 £36.29 £39.89 £43.50 £47.11 £50.72 £54.32 18 March 2026 30 March 2026 11 April 2026 23 April 2026 06 May 2026

Price Distribution

Price distribution over 50 days • 3 price levels

Days at Price
Current Price
8 days · current 20 days 22 days 0 6 11 17 22 £38 £49 £53 Days at Price

Price Analysis

Most common price: £53 (22 days, 44.0%)

Price range: £38 - £53

Price levels: 3 different prices over 50 days

Description

This book was first published in 1993. 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 behaviour or safety critical systems. This thesis uses the theory of Communicating Sequential Processes (CSP) to show how a real-lime system 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 14 structuring CSP descriptions of layered protocols is given.

Product Specifications

Model
d.
Format
hardcover
Domain
Amazon UK
Release Date
20 May 1993
Listed Since
09 February 2007

Barcode

No barcode data available

Similar Products You Might Like

CRC Press Communication Protocol Engineering - Technical Book
95% match

CRC Press Communication Protocol Engineering - Technical Book

CRC Press

£90.64 24 Apr 2026
Principles of Cyber-Physical Systems
95% match

Principles of Cyber-Physical Systems

£60.42 14 Jan 2026
Exploring New Frontiers of Theoretical Informatics: IFIP 18th World Computer Congress TC1 3rd International Conference on Theoretical Computer Science ... and Communication Technology, 155)
95% match

Exploring New Frontiers of Theoretical Informatics: IFIP 18th World Computer Congress TC1 3rd International Conference on Theoretical Computer Science ... and Communication Technology, 155)

Springer

£105.46 12 Apr 2026
Quality of Communication-Based Systems: Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994
95% match

Quality of Communication-Based Systems: Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994

Springer

£75.84 29 Mar 2026
Concurrency Verification: Introduction to Compositional and Non-compositional Methods: 54 (Cambridge Tracts in Theoretical Computer Science, Series Number 54)
95% match

Concurrency Verification: Introduction to Compositional and Non-compositional Methods: 54 (Cambridge Tracts in Theoretical Computer Science, Series Number 54)

Cambridge University Press

£91.42 11 Feb 2026
Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers
95% match

Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Springer

£44.71 07 Mar 2026
Quality of Communication-Based Systems: Proceedings of an International Workshop Held at the TU, Berlin, Germany, September 1994
94% match

Quality of Communication-Based Systems: Proceedings of an International Workshop Held at the TU, Berlin, Germany, September 1994

Springer

£106.40 27 Feb 2026
Automatic Verification of Sequential Infinite-State Processes: 1354 (Lecture Notes in Computer Science, 1354)
94% match

Automatic Verification of Sequential Infinite-State Processes: 1354 (Lecture Notes in Computer Science, 1354)

Springer

£44.95 07 Mar 2026
STACS 93: 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings: 665 (Lecture Notes in Computer Science, 665)
94% match

STACS 93: 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings: 665 (Lecture Notes in Computer Science, 665)

Springer

£85.47 28 Feb 2026
Concurrency Verification: Introduction to Compositional and Noncompositional Methods: 54 (Cambridge Tracts in Theoretical Computer Science, Series Number 54)
94% match

Concurrency Verification: Introduction to Compositional and Noncompositional Methods: 54 (Cambridge Tracts in Theoretical Computer Science, Series Number 54)

Cambridge University Press

£67.00 11 May 2026
Performance of Computer Communication Systems: A Model-Based Approach
94% match

Performance of Computer Communication Systems: A Model-Based Approach

Wiley

£49.98 09 Mar 2026
Theories of Programming: The Life and Works of Tony Hoare (ACM Collection II)
94% match

Theories of Programming: The Life and Works of Tony Hoare (ACM Collection II)

Morgan & Claypool

£43.94 16 Feb 2026
Foundations of Information Technology in the Era of Network and Mobile Computing: IFIP 17th World Computer Congress ― TC1 Stream / 2nd IFIP ... Information and Communication Technology, 96)
94% match

Foundations of Information Technology in the Era of Network and Mobile Computing: IFIP 17th World Computer Congress ― TC1 Stream / 2nd IFIP ... Information and Communication Technology, 96)

Springer

£117.40 24 Apr 2026
Digital Communications
94% match

Digital Communications

Prentice Hall

£41.99 15 Apr 2026
Distributed and Parallel Embedded Systems: IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES’98) October ... Information and Communication Technology, 25)
94% match

Distributed and Parallel Embedded Systems: IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES’98) October ... Information and Communication Technology, 25)

Springer

£142.06 01 Apr 2026
Simplicity is Complex: Foundations of Cyber-Physical System Design
94% match

Simplicity is Complex: Foundations of Cyber-Physical System Design

Springer

£100.08 13 Jun 2026
Performance of Information and Communication Systems: IFIP TC6 / WG6.3 Seventh International Conference on Performance of Information and ... in Information and Communication Technology)
94% match

Performance of Information and Communication Systems: IFIP TC6 / WG6.3 Seventh International Conference on Performance of Information and ... in Information and Communication Technology)

Springer

£159.46 22 Jan 2026
Performance of Information and Communication Systems: IFIP TC6 / WG6.3 Seventh International Conference on Performance of Information and ... in Information and Communication Technology)
94% match

Performance of Information and Communication Systems: IFIP TC6 / WG6.3 Seventh International Conference on Performance of Information and ... in Information and Communication Technology)

Springer

£149.64 09 Apr 2026
Foundations of Component-Based Systems
94% match

Foundations of Component-Based Systems

Cambridge University Press

£47.69 20 Apr 2026
Formal Semantics for LIPS: (Language for Implementing Parallel/distributed Systems)
94% match

Formal Semantics for LIPS: (Language for Implementing Parallel/distributed Systems)

LAP Lambert Academic Publishing

£51.00 02 May 2026
Communication Complexity (for Algorithm Designers) (Foundations and Trends (R) in Theoretical Computer Science)
94% match

Communication Complexity (for Algorithm Designers) (Foundations and Trends (R) in Theoretical Computer Science)

Now Publishers

Out of Stock 29 Mar 2026
Real-Time Systems Design and Analysis: Tools for the Practitioner
94% match

Real-Time Systems Design and Analysis: Tools for the Practitioner

Wiley-IEEE Press

£101.00 11 Jun 2026
Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation (Premier Reference Source)
94% match

Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation (Premier Reference Source)

Information Science Reference

£60.59 25 Apr 2026
Advances in Computing and Communications, Part II: First International Conference, ACC 2011, Kochi, India, July 22-24, 2011. Proceedings, Part II: 191 ... in Computer and Information Science, 191)
94% match

Advances in Computing and Communications, Part II: First International Conference, ACC 2011, Kochi, India, July 22-24, 2011. Proceedings, Part II: 191 ... in Computer and Information Science, 191)

Springer

£74.85 12 Apr 2026