Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

Concurrency Verification

Name: Concurrency Verification
Brand: Cambridge University Press
SKU: 02024378
Price: 104.49 EUR
Availability: InStock
Author: Willem-Paul de RoeverFrank de BoerUlrich HannemanJozef Hooman
ISBN: 9780521169325

Introduction to Compositional and Non-compositional Methods

Willem-Paul de RoeverFrank de BoerUlrich HannemanJozef Hooman

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 02024378

Uitgeverij Cambridge University Press, januari 2012

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

Libristo-code: 02024378

253 b

104.49 €

In extern magazijn Wordt binnen 9-15 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Seperate Opinion und Sondervotum in der Rechtsprechung des Supreme Court of the United States und des Bundesverfassungsgerichts. Karl-Heinz Millgramm

Gebonden (paperback)

61.18 €

RONDO - Das Liederbuch für die Grundschule - 1./2. Schuljahr, Schülerbuch Othmar Kist

Gebonden (harde band)

26.85 €

Microextraccion liquido-liquido Carol Cortada

Gebonden (paperback)

84.30 €

CHAMBER MUSIC FOR/ KAMMERMUSIK FUR VIOLONCELLI 6 -PARTITION+PARTIES SEPAREES ARPAD PEJTSIK Boek

binding.

26.24 €

Ainsi parlent les Français Julie Barlow

Gebonden (paperback)

26.34 €

BERTHOLD TOURS: COMMUNION SERVICE IN F SATB/ORGAN CHANT TOURS Boek

binding.

9.48 €

María Blanchard BALTASAR MAGRO

Audio cd

25.23 €

Klinische Psychologie Bei Querschnittlahmung Wilhelm Strubreither

Gebonden (harde band)

113.58 €

Entdecken und verstehen - Gesellschaftslehre/Weltkunde - Hamburg, Mecklenburg-Vorpommern, Niedersachsen und Schleswig-Holstein - Band 1: 5./6. Schulja Thomas Berger von der Heide

Gebonden (paperback)

44.21 €

Strukturen juristischer Argumentation. Christian Clemens

Gebonden (paperback)

50.58 €

Forstwirtschaftliche Insektenkunde E. L. Taschenberg

Gebonden (paperback)

47.14 €

Tsitokiny i ikh rol' v razvitii immunooposredovannykh zabolevaniy Bolevich S B

Gebonden (paperback)

53.30 €

Gesprache uber Globalisierung und Zeitgeschichte Thomas Mitsch

Gebonden (paperback)

8.98 €

Im Auge der Sonne Barbara Wood

Gebonden (paperback)

9.08 €

Zur geschichte des weimarischen Theaters Ernst Wilhelm Weber

Gebonden (paperback)

34.52 €

Protozoologie M. Hartmann

Gebonden (paperback)

22.30 €

Tour du Mont Blanc 1:50 000

Kaart

13.72 €

VW Bus Ken Cservenka

Gebonden (paperback)

12.81 €

30 Minuten Work-Life-Balance Lothar J. Seiwert

Gebonden (paperback)

8.98 €

Blutspurlos André Blum

Gebonden (paperback)

16.25 €

Kompetenzentwicklung in der beruflichen Aus- und Weiterbildung Heike Karolyi

Gebonden (paperback)

16.15 €

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.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Concurrency Verification

Auteur Willem-Paul de RoeverFrank de BoerUlrich HannemanJozef Hooman

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 2012

Aantal pagina's 800

EAN 9780521169325

ISBN 0521169321

Libristo-code 02024378

Uitgeverij Cambridge University Press

Gewicht 1066

Afmetingen 154 x 228 x 42

Categorieën

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling

Geef dit boek vandaag nog cadeau

Dat gaat heel eenvoudig

1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger