Concurrency Verification: Introduction to Compositional and Non-compositional Methods

Valutazione media 0
( su 0 valutazioni fornite da GoodReads )
 
9780521169325: Concurrency Verification: Introduction to Compositional and Non-compositional Methods

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.

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

Recensione:

Review of the hardback: 'The present textbook is a highly welcome addition to the existing literature on program verification, particularly valuable for the well-arranged, methodically unified framework for a wealth of material.' Zentralblatt für Mathematik und ihre Grenzgebiete Mathematics Abstracts

Descrizione del libro:

This 2001 book is an introduction to verifying concurrent programs scaling up to a realistic size. It is self-contained and comprehensive, 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.

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. 229 x 150 mm. 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,29
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
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 74,63
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 10,40
Da: Regno Unito a: U.S.A.
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. 229 x 150 mm. 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 87,88
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
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 86,59
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,86
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

5.

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 87,76
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,69
In U.S.A.
Destinazione, tempi e costi

6.

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 82,73
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 9,24
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

7.

De Roever, Willem-Paul/ De Boer, Frank/ Hanneman, Ulrich/ Hooman, Jozef/ Lakhnech, Yassine
Editore: Cambridge Univ Pr (2012)
ISBN 10: 0521169321 ISBN 13: 9780521169325
Nuovi Paperback Quantità: 1
Da
Revaluation Books
(Exeter, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge Univ Pr, 2012. Paperback. Condizione libro: Brand New. 798 pages. 9.02x5.98x1.57 inches. In Stock. Codice libro della libreria __0521169321

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 86,32
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 6,93
Da: Regno Unito a: U.S.A.
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 2011-10-27 (2011)
ISBN 10: 0521169321 ISBN 13: 9780521169325
Nuovi Quantità: 5
Da
Chiron Media
(Wallingford, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press 2011-10-27, 2011. Condizione libro: New. Brand new book, sourced directly from publisher. Dispatch time is 24-48 hours from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Codice libro della libreria NU-ING-00933131

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 101,93
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,45
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

9.

Roever, Willem-Paul de; Boer, Frank de; Hanneman, Ulrich; Hooman, Jozef; Lakhnech, Yassine; Poel, Mannes; Zwiers, Job
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 120,21
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

10.

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 129,96
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,69
In U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro