Articoli correlati a Concurrency Verification: Introduction to Compositional...
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 pubblicazione2001
- ISBN 10 0521806089
- ISBN 13 9780521806084
- RilegaturaCopertina rigida
- LinguaInglese
- Numero di pagine800
- Contatto del produttorenon disponibile
Compra usato
Condizioni: quasi ottimoAncien livre de bibliothèque. Légères...
Visualizza questo articolo
EUR 54,99
EUR 8,00 per la spedizione da Francia a Italia
Destinazione, tempi e costiCompra nuovo
Visualizza questo articolo
EUR 110,67
GRATIS per la spedizione da U.S.A. a Italia
Destinazione, tempi e costi
Risultati della ricerca per Concurrency Verification: Introduction to Compositional...
Foto dell'editore
Concurrency Verification
Editore:
Cambridge University Press, 2011
ISBN 10: 0521806089
ISBN 13: 9780521806084
Antico o usato
Rilegato
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Salissures sur la tranche. Edition 2011. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Stains on the edge. Edition 2011. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo E-086-963
Quantità: 1 disponibili
Foto dell'editore
Concurrency Verification: Introduction to Compositional and Non-compositional Methods
Editore:
Cambridge University Press, 2001
ISBN 10: 0521806089
ISBN 13: 9780521806084
Antico o usato
Rilegato
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Très bon. Ancien livre de bibliothèque. Edition 2001. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo E-577-985
Quantità: 1 disponibili
Foto dell'editore
Concurrency Verification: Introduction to Compositional and Non-compositional Methods
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEJUNE24-384375
Quantità: 3 disponibili
Foto dell'editore
Concurrency Verification Introduction to Compositional and Non-compositional Methods
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABNR-36570
Quantità: 2 disponibili
Foto dell'editore
Concurrency Verification
Editore:
Cambridge University Press CUP, 2001
ISBN 10: 0521806089
ISBN 13: 9780521806084
Nuovo
Rilegato
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 800. Codice articolo 26532284
Quantità: 4 disponibili
Foto dell'editore
Concurrency Verification
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 800 Illus. Codice articolo 8364259
Quantità: 4 disponibili
Foto dell'editore
Concurrency Verification
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 800. Codice articolo 18532278
Quantità: 4 disponibili
Foto dell'editore
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780521806084_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Concurrency Verification
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Gebunden. 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 446947932
Quantità: Più di 20 disponibili
Foto dell'editore
Concurrency Verification: Introduction to Compositional and Non-compositional Methods
Print on DemandDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Brand New. 798 pages. 9.00x6.25x1.50 inches. In Stock. This item is printed on demand. Codice articolo __0521806089
Quantità: 1 disponibili