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

£91.42

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

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

5 tables 156 exercises

Architecture & Microprocessors

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 18 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £98 (10 days, 55.6%)

Price range: £91 - £98

Price levels: 4 different prices over 18 days

Description

Product 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. Review Review of the hardback: 'The present textbook is a highly welcome addition to the existing literature on program verification, particularly valuable for the well-arranged, methodically unified framework for a wealth of material.' Zentralblatt für Mathematik und ihre Grenzgebiete Mathematics Abstracts Book Description An advanced 2001 textbook on verification of concurrent programs using a semantic approach which highlights concepts clearly.

Product Specifications

Brand: Cambridge University Press
Model: 5 tables 156 exercises
Format: Hardcover
ASIN: 0521806089
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 26 November 2001
Listed Since: 09 February 2007

Barcode

No barcode data available

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

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

Springer - Concurrency in Dependable Computing Book

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

Computational Complexity: A Conceptual Perspective

Computer–Aided Verification of Coordinating Processes – The Automata–Theoretic Approach (Princeton Series in Computer Science)

Computation Engineering: Applied Automata Theory and Logic

Concurrent Programming: Algorithms, Principles, and Foundations

Principles of Model Checking

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Springer - Petri Nets: Theoretical Models and Analysis Methods

Advances in Unconventional Computing: Volume 1: Theory: 22 (Emergence, Complexity and Computation, 22)

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Understanding Concurrent Systems (Texts in Computer Science)

Distributed Computing Through Combinatorial Topology

Verifying Temporal Properties of Systems (Progress in Theoretical Computer Science)

Introduction to Concurrency in Programming Languages (Chapman & Hall/CRC Computational Science)

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

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

Modern Multithreading: Implementing, Testing, and Debugging Multithreaded Java and C++/Pthreads/Win32 Programs

Real-Time Systems: Scheduling, Analysis, and Verification

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

Computability Theory and Its Applications: Current Trends and Open Problems (Contemporary Mathematics)

Introduction to Coalgebra: Towards Mathematics of States and Observation: 59 (Cambridge Tracts in Theoretical Computer Science, Series Number 59)