Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science)

Valutazione media 0
( su 0 valutazioni fornite da Goodreads )
 
9780521169325: Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science)

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Book Description:

This is the first introduction to the problem of verifying concurrent programs scaling up to a realistic size. The compositional proof methods described reduce the problem to the independent verification of the program's parts. The semantic approach allows a systematic presentation in a unified framework, highlighting essential concepts. The book is self-contained and comprehensive, 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.

Review:

"It is capable of replacing a multitude of original articles...with one coherent text. Wherever appropriate, however, the book does refer in detail to original research, and includes many historical hints. It also provides a rich choice of exercises." Computing Reviews

"The book gives a very comprehensive presentation of what we know so far about proving concurrent systems...It gives an excellent survey of the field and lots of examples and technical details." Mathematical Reviews

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

I migliori risultati di ricerca su AbeBooks

1.

Willem-Paul De Roever, Frank de Boer, Ulrich Hanneman
Editore: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2012)
ISBN 10: 0521169321 ISBN 13: 9780521169325
Nuovi Paperback Quantità: 10
Print on Demand
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2012. Paperback. Condizione libro: New. Language: English . Brand New Book ***** Print on Demand *****.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. Codice libro della libreria AAV9780521169325

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 81,65
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: Italia
Destinazione, tempi e costi

2.

Roever, Willem-Paul de
Editore: Cambridge University Press (2012)
ISBN 10: 0521169321 ISBN 13: 9780521169325
Nuovi Quantità: > 20
Print on Demand
Da
Books2Anywhere
(Fairford, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 2012. PAP. Condizione libro: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice libro della libreria LQ-9780521169325

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 71,99
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 11,18
Da: Regno Unito a: Italia
Destinazione, tempi e costi

3.

Willem-Paul De Roever, Frank de Boer, Ulrich Hanneman
Editore: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2012)
ISBN 10: 0521169321 ISBN 13: 9780521169325
Nuovi Paperback Quantità: 10
Print on Demand
Da
The Book Depository US
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2012. Paperback. Condizione libro: New. Language: English . Brand New Book ***** Print on Demand *****. 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. Codice libro della libreria AAV9780521169325

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 84,13
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: Italia
Destinazione, tempi e costi

4.

Willem-Paul, De Roever
Editore: Cambridge University Press (2016)
ISBN 10: 0521169321 ISBN 13: 9780521169325
Nuovi Paperback Quantità: 1
Print on Demand
Da
Ria Christie Collections
(Uxbridge, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 2016. Paperback. Condizione libro: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Codice libro della libreria ria9780521169325_lsuk

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 80,13
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 4,93
Da: Regno Unito a: Italia
Destinazione, tempi e costi

5.

WILLEM-PAUL DE ROEVER , FRANK DE BOER , ULRICH HANNEMAN , JOZEF HOOMAN , YASSINE LAKHNECH , MANNES POEL , JOB ZWIERS
ISBN 10: 0521169321 ISBN 13: 9780521169325
Nuovi Paperback Quantità: 1
Da
Herb Tandree Philosophy Books
(Stroud, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro 2012. Paperback. Condizione libro: NEW. 9780521169325 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Codice libro della libreria HTANDREE0449384

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 80,05
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 8,94
Da: Regno Unito a: Italia
Destinazione, tempi e costi

6.

Roever, Willem-Paul de
Editore: Cambridge University Press (2012)
ISBN 10: 0521169321 ISBN 13: 9780521169325
Nuovi Quantità: > 20
Print on Demand
Da
Pbshop
(Wood Dale, IL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 2012. PAP. Condizione libro: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice libro della libreria IQ-9780521169325

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 80,64
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 9,79
Da: U.S.A. a: Italia
Destinazione, tempi e costi

7.

Willem-Paul de Roever; Frank de Boer; Ulrich Hanneman; Jozef Hooman; Yassine Lakhnech; Mannes Poel; Job Zwiers
ISBN 10: 0521169321 ISBN 13: 9780521169325
Nuovi Quantità: > 20
Print on Demand
Da
BWB
(Valley Stream, NY, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. This item is Print on Demand - Depending on your location, this item may ship from the US or UK. Codice libro della libreria POD_9780521169325

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 110,46
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: U.S.A. a: Italia
Destinazione, tempi e costi

8.

Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
Editore: Cambridge University Press (2012)
ISBN 10: 0521169321 ISBN 13: 9780521169325
Nuovi Paperback Quantità: 1
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 2012. Paperback. Condizione libro: New. Codice libro della libreria DADAX0521169321

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 121,39
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 11,91
Da: U.S.A. a: Italia
Destinazione, tempi e costi

9.

Willem-Paul de Roever; Frank de Boer; Ulrich Hanneman; Jozef Hooman; Yassine Lakhnech; Mannes Poel; Job Zwiers
Editore: Cambridge University Press (2012)
ISBN 10: 0521169321 ISBN 13: 9780521169325
Nuovi Paperback Quantità: 1
Da
Irish Booksellers
(Rumford, ME, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 2012. Paperback. Condizione libro: New. book. Codice libro della libreria 0521169321

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 129,29
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 10,21
Da: U.S.A. a: Italia
Destinazione, tempi e costi

10.

Roever, Willem-Paul de; Boer, Frank de; Hanneman, Ulrich; Hooman, Jozef; Lakhnech, Yassine; Poel, Mannes; Zwiers, Job
Editore: Cambridge University Press
ISBN 10: 0521169321 ISBN 13: 9780521169325
Nuovi PAPERBACK Quantità: > 20
Da
Russell Books
(Victoria, BC, Canada)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press. PAPERBACK. Condizione libro: New. 0521169321 Special order direct from the distributor. Codice libro della libreria ING9780521169325

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 117,32
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 25,53
Da: Canada a: Italia
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro