
Concurrency Verification
2 845 kr
2 845 kr
Mån, 21 jul - tor, 24 jul
Säker betalning
14-dagars öppet köp
Säljs och levereras av
AdlibrisProduktbeskrivning
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. The book is self-contained, guiding the reader from advanced undergraduate level to the state-of-the-art. Every method is illustrated by examples, and a picture gallery of some of the subject's key figures complements the text.
Artikel.nr.
8df72f02-26ff-56fd-aaad-6d1664327d49
Concurrency Verification
2 845 kr
2 845 kr
Mån, 21 jul - tor, 24 jul
Säker betalning
14-dagars öppet köp
Säljs och levereras av
AdlibrisLiknande toppsäljare

3-pack rakblad kompatibel med Philips Oneblade Replacement
159 kr

PÅFYLLNINGSSATS FÖR LUFTKONDITIONERING R134A-VÄTSKA
382 kr

POP MART Labubu The Monsters Big Into Energy Series Figures Vinyl Plush Pendant Blind Box
499 kr

PÅFYLLNINGSSATS FÖR LUFTKONDITIONERING R134A-MEDEL 2 X GAS
488 kr

Apple AirPods 4 Active Noise Cancellation Wireless In-ear
2 079 kr

Rakapparat med dubbla huvuden 2-i-1 för Kvinnor, IPX7 Vattentät, Bikinitrimmer, Dubbelhuvud, Typ-C Ljusrosa
221 kr

INF Öronkuddar för Bose QC35 I/II, QC25, QC15, QC 2 AE 2, AE 2i, AE 2w, SoundTrue, SoundLink
79 kr
Tidigare lägsta pris:
99 kr

Apple AirPods 4 Wireless In-ear
1 578 kr

Apple AirPods Pro (andra generationen) 2023 med MagSafe-fodral (USB-C)
2 698 kr

PlayStation 5 Slim Digital Edition (PS5)
5 884 kr
Tidigare lägsta pris:
6 589 kr
Rekommendationer för dig

Vaillant VRC 720 - sensoCOMFORT VRC 720 väderkompensation (eBUS)
2 842 kr

iPhone Snabbladdare USB-C PD 3.0. 20W Strömadapter + Kabel
117 kr

INF TYPE-C Dubbel SD/TF-kortläsare för snabb dataöverföring 0
79 kr

Apple Iphone 16e 128GB Svart Svart
7 390 kr

Lattafa Angham EDP 100 ml
493 kr
Tidigare lägsta pris:
635 kr

Apple AirTag 4-pack
1 034 kr
Tidigare lägsta pris:
1 078 kr

Apple AirPods (tredje generationen) Wireless In-ear med Lightning ladningsetui
1 388 kr
Tidigare lägsta pris:
1 394 kr

Giftbete för möss och råttor granulat 1 kg
277 kr

2-Pack - Xiaomi Däck med Verktyg - Punkteringsfritt / Elscooter
249 kr
Tidigare lägsta pris:
269 kr

2025 Ny uppgradering Hundklippare för Hundtassar – Tyst och Effektiv Tasstrimmer med LED-lampa
149 kr