Concurrency Verification

Name: Concurrency Verification
Brand: Cambridge University Press
SKU: 9780521806084
Price: 104607 HUF
Availability: InStock

Introduction to Compositional and Non-compositional Methods

Szerző: 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

Nyelv:

Kötés: Kemény kötésű

Kiadó: Cambridge University Press

Elérhetőség: Beszállítói készleten

Küldés 9-15 napon belül

104 607 Ft

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

Információk a könyvről

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Concurrency Verification

Introduction to Compositional and Non-compositional Methods

Információk a könyvről

Teljes leírás

Érdekelheti

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

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

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