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.
Compra nuovo
Visualizza questo articolo
EUR 106,01
GRATIS per la spedizione in U.S.A.
Destinazione, tempi e costi
Risultati della ricerca per Concurrency Verification: Introduction to Compositional...
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
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
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 Introduction to Compositional and Non-compositional Methods
Da: SMASS Sellers, IRVING, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. Codice articolo ASNT3-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: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Feb2416190015739
Quantità: Più di 20 disponibili
Foto dell'editore
Concurrency Verification: Introduction to Compositional and Non-compositional Methods
Da: UK BOOKS STORE, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: New. Brand New! Fast Delivery US Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 7-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability. Codice articolo AT 9780521806084
Quantità: 6 disponibili