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

£67.00

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

Name: Concurrency Verification: Introduction to Compositional and Noncompositional Methods: 54 (Cambridge Tracts in Theoretical Computer Science, Series Number 54)
Brand: Cambridge University Press
Price: 67.0 GBP
Availability: InStock

Languages

This is the most expensive it has ever been. Walk away.

£67 today · previous high £67 · all-time low £66

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 55 days • 55 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 55 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £66 (50 days, 90.9%)

Price range: £66 - £67

Price levels: 2 different prices over 55 days

Description

This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment and rely-guarantee paradigms, and to noncompositional methods, whose presentation culminates in an exposition of the communication-closed-layers (CCL) paradigm for verifying network protocols. Compositional concurrency verification methods reduce the verification of a concurrent program to the independent verification of its parts. If those parts are tightly coupled, one additionally needs verification methods based on the causal order between events. These are presented using CCL. The semantic approach followed here allows a systematic presentation of all these concepts in a unified framework which highlights essential concepts. This 2001 book is self-contained, guiding the reader from advanced undergraduate level. Every method is illustrated by examples, and a picture gallery of some of the subject's key figures complements the text.

Product Specifications

Brand: Cambridge University Press
Format: paperback
ASIN: 0521169321
Category: Books > Subjects > Computing & Internet > Programming > Languages
Domain: Amazon UK
Release Date: 26 January 2012
Listed Since: 15 April 2010

Barcode

No barcode data available

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

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

Models for Concurrency (Algebra, Logic and Applications, Vol 11)

CONCUR '98 Concurrency Theory: 9th International Conference, Nice, France, September 8-11, 1998, Proceedings: 1466 (Lecture Notes in Computer Science, 1466)

CONCUR '95 Concurrency Theory: 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings: 962 (Lecture Notes in Computer Science, 962)

Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems (CRM Monograph Series)

Concurrency 88: International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings: 335 (Lecture Notes in Computer Science, 335)

Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany

Concurrent and Real-time Systems: The CSP Approach (Worldwide Series in Computer Science)

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

A Decade of Concurrency: Reflections and Perspectives: Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - ... 803 (Lecture Notes in Computer Science, 803)

Understanding Concurrent Systems (Texts in Computer Science)

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday: 5065 (Lecture Notes in Computer Science, 5065)

Springer - Concurrency in Dependable Computing Book

Concurrency: The Works of Leslie Lamport (ACM Collection II)

Concurrent Programming: Algorithms, Principles, and Foundations

Concurrent Programming: Algorithms, Principles, and Foundations

Computer Aided Verification

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

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

Temporal Verification of Reactive Systems: Safety

Concurrency: The Works of Leslie Lamport (ACM Collection II)

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Systems and Software Verification: Model-Checking Techniques and Tools