Concurrency Verification

Name: Concurrency Verification
Brand: Cambridge University Press
SKU: 9780521806084
Price: 1164.09 PLN
Availability: InStock

Introduction to Compositional and Non-compositional Methods

Autor: Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Hooman, Jozef (Katholieke Universiteit Nijmegen, The Netherlands), Yassine (Universite Joseph Fourier) Lakhnech, Poel, Mannes (University of Twente, E

Język:

Oprawa: Twarda

Wydawca: Cambridge University Press

Dostępność: Dostępna u dostawcy

Wysyłamy za 9-15 dni

1 164.09 zł

This is a systematic and comprehensive introduction both to compositional proof methods for the stat...

Informacje o książce

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Concurrency Verification

Introduction to Compositional and Non-compositional Methods

Informacje o książce

Pełny opis

Możesz być zainteresowany

The Conspiracy Against the Human Race

Language of Stitches

Applied Computer Sciences in Engineering

Seeing Stone

The History of Middle-Earth Boxed Set

Potassium Health Secrets Revealed: Create an Alkaline Body With Potassium

Fundamentals of Environmental Management

Changes of the Heart: Martha Beck Life Coaches Share Strategies for Facing Life Challenges

Lethal Choices

Happily Ever After

Tales from the Mom Front

Room and Furniture Layout Kit

Cold Antler Farm

Atomic and Molecular Data and Their Applications

Klienci, którzy kupili tę książkę, kupili również

Las 500 dudas más frecuentes del espa?ol

Du Parjure Sous Louis XVIII, Suivi de Quelques Observations Sur Les Adresses

Orkiestra z Auschwitz

Trötsch Schultüte 50 cm Einhorn

Quo vadis ecclesia?

Archiv für Anthropologie, Völkerforschung und kolonialen Kulturwandel