Articoli correlati a Concurrency Verification: Introduction to Compositional...

Concurrency Verification: Introduction to Compositional and Non-compositional Methods - Brossura

Roever, Willem-Paul De; Boer, Frank De; Hanneman, Ulrich; Hooman, Jozef; Lakhnech, Yassine; Poel, Mannes; Zwiers, Job

 
9780521169325: Concurrency Verification: Introduction to Compositional and Non-compositional Methods
Brossura
ISBN 10: 0521169321 ISBN 13: 9780521169325
Casa editrice: Cambridge University Press, 2011

Sinossi

An advanced 2001 textbook on verification of concurrent programs using a semantic approach which highlights concepts clearly.

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.

  • EditoreCambridge University Press
  • Data di pubblicazione2011
  • ISBN 10 0521169321
  • ISBN 13 9780521169325
  • RilegaturaCopertina flessibile
  • LinguaInglese
  • Numero di pagine800
  • Contatto del produttorenon disponibile

Compra usato

Condizioni: come nuovo
Like New
Visualizza questo articolo
9780521169325: Concurrency Verification: Introduction to Compositional and Non-compositional Methods
EUR 161,10

Convertire valuta

EUR 29,36 per la spedizione da Regno Unito a Italia

Destinazione, tempi e costi

Compra nuovo

Visualizza questo articolo
9780521169325: Concurrency Verification: Introduction to Compositional and Non-compositional Methods
EUR 97,90

Convertire valuta

EUR 10,39 per la spedizione da Regno Unito a Italia

Destinazione, tempi e costi

Altre edizioni note dello stesso titolo

9780521806084: Concurrency Verification: Introduction to Compositional and Non-compositional Methods

Edizione in evidenza

ISBN 10:  0521806089 ISBN 13:  9780521806084
Casa editrice: Cambridge University Press, 2001
Rilegato

Risultati della ricerca per Concurrency Verification: Introduction to Compositional...

Foto dell'editore

Frank De Boer Ulrich Hanneman Willem-Paul De Roever
ISBN 10: 0521169321 ISBN 13: 9780521169325
Nuovo Brossura

Da: Majestic Books, Hounslow, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. pp. 800 23:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on White w/Gloss Lam. Codice articolo 8314068

Contatta il venditore

Compra nuovo

EUR 97,90
Convertire valuta
Spese di spedizione: EUR 10,39
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 3 disponibili

Aggiungi al carrello

Foto dell'editore

Roever, Willem-Paul De; Boer, Frank De; Hanneman, Ulrich; Hooman, Jozef; Lakhnech, Yassine; Poel, Mannes; Zwiers, Job
ISBN 10: 0521169321 ISBN 13: 9780521169325
Nuovo Brossura

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. In. Codice articolo ria9780521169325_new

Contatta il venditore

Compra nuovo

EUR 99,22
Convertire valuta
Spese di spedizione: EUR 10,56
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Willem-Paul, de Roever|Frank, de Boer|Ulrich, Hanneman
ISBN 10: 0521169321 ISBN 13: 9780521169325
Nuovo Brossura
Print on Demand

Da: moluna, Greven, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 o. Codice articolo 446928542

Contatta il venditore

Compra nuovo

EUR 101,49
Convertire valuta
Spese di spedizione: EUR 9,70
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

De Roever, Willem-Paul/ De Boer, Frank/ Hanneman, Ulrich/ Hooman, Jozef/ Lakhnech, Yassine
Editore: Cambridge Univ Pr, 2012
ISBN 10: 0521169321 ISBN 13: 9780521169325
Nuovo Paperback
Print on Demand

Da: Revaluation Books, Exeter, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: Brand New. 798 pages. 9.02x5.98x1.57 inches. In Stock. This item is printed on demand. Codice articolo __0521169321

Contatta il venditore

Compra nuovo

EUR 101,12
Convertire valuta
Spese di spedizione: EUR 11,74
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Willem-Paul de Roever
ISBN 10: 0521169321 ISBN 13: 9780521169325
Nuovo Paperback / softback
Print on Demand

Da: THE SAINT BOOKSTORE, Southport, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 1111. Codice articolo C9780521169325

Contatta il venditore

Compra nuovo

EUR 103,44
Convertire valuta
Spese di spedizione: EUR 15,71
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Willem-Paul De Roever
ISBN 10: 0521169321 ISBN 13: 9780521169325
Nuovo Paperback

Da: Chiron Media, Wallingford, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: New. Codice articolo 6666-IUK-9780521169325

Contatta il venditore

Compra nuovo

EUR 96,24
Convertire valuta
Spese di spedizione: EUR 23,48
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 10 disponibili

Aggiungi al carrello

Foto dell'editore

De Boer Frank Hanneman Ulrich De Roever Willem-Paul
ISBN 10: 0521169321 ISBN 13: 9780521169325
Nuovo Brossura

Da: Books Puddle, New York, NY, U.S.A.

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. pp. 800. Codice articolo 26615179

Contatta il venditore

Compra nuovo

EUR 115,06
Convertire valuta
Spese di spedizione: EUR 7,80
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 3 disponibili

Aggiungi al carrello

Foto dell'editore

Frank De Boer Ulrich Hanneman Willem-Paul De Roever
ISBN 10: 0521169321 ISBN 13: 9780521169325
Nuovo Brossura

Da: Biblios, Frankfurt am main, HESSE, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. pp. 800. Codice articolo 18615169

Contatta il venditore

Compra nuovo

EUR 118,71
Convertire valuta
Spese di spedizione: EUR 7,95
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 3 disponibili

Aggiungi al carrello

Foto dell'editore

De Roever Willem-Paul
ISBN 10: 0521169321 ISBN 13: 9780521169325
Nuovo Paperback

Da: CitiRetail, Stevenage, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: new. Paperback. 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. Advanced textbook on verification of concurrent programs using a semantic approach which highlights concepts clearly. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Codice articolo 9780521169325

Contatta il venditore

Compra nuovo

EUR 105,22
Convertire valuta
Spese di spedizione: EUR 35,23
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

de Roever Willem-Paul
ISBN 10: 0521169321 ISBN 13: 9780521169325
Nuovo Taschenbuch

Da: AHA-BUCH GmbH, Einbeck, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - An advanced 2001 textbook on verification of concurrent programs using a semantic approach which highlights concepts clearly. Codice articolo 9780521169325

Contatta il venditore

Compra nuovo

EUR 138,82
Convertire valuta
Spese di spedizione: EUR 14,99
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Vedi altre 4 copie di questo libro

Vedi tutti i risultati per questo libro