A Survey of Verification Techniques for Parallel Programs
Barringer, Howard
ISBN 10: 3540152393 ISBN 13: 9783540152392
Editore: Springer, 1985
Nuovi
Brossura
Da
Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 25 marzo 2015
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
In. Codice articolo ria9783540152392_new
Contenuti: Flow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs.- Lamport: Verification of concurrent programs.- Owicki & Gries: Verification of parallel programs.- Apt, Francez & de Roever: Verification of CSP.- Barringer & Mearns: Verification of Ada Tasks.- Levin & Gries: Verification of CSP.- Misra & Chandy: Proofs of process networks.- Zhou & Hoare: Correctness of communicating processes.- Conclusions.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: A Survey of Verification Techniques for ...
Casa editrice: Springer
Data di pubblicazione: 1985
Legatura: Brossura
Condizione: New
I migliori risultati di ricerca su AbeBooks
Foto dell'editore
A Survey of Verification Techniques for Parallel Programs
Editore:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1985
ISBN 10: 3540152393
ISBN 13: 9783540152392
Antico o usato
Softcover
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Softcover. Condizione: Très bon. Ancien livre de bibliothèque. Edition 1985. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1985. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo E-576-310
Compra usato
EUR 3,00
EUR 20,50 shipping
Spedito da Francia a U.S.A.
Spedito da Francia a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. 0387152393 Ex-library paperback in very nice condition with the usual markings and attachments. Codice articolo UTD14a2524
Compra usato
EUR 7,00
EUR 5,95 shipping
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
A Survey of Verification Techniques for Parallel Programs - Lecture Notes in Computer Science 191
Editore:
Springer-Verlag, Berlin, Heidelberg, New York, Tokyo, 1985
ISBN 10: 3540152393
ISBN 13: 9783540152392
Antico o usato
Paperback
Da: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Berlin, Heidelberg, New York, Tokyo: Springer-Verlag, 1985. 114 pp. 24 x 16.5 cm. Minor bumping along tail-edge of covers; bump to top fore-edge corner. Toning to edges of text block and interior of book. Interior is clean and unmarked. Binding is firm. Soft Cover. Very Good. Codice articolo 625225
Compra usato
EUR 17,55
EUR 1,66 shipping
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
A Survey of Verification Techniques for Parallel Programs
Editore:
Springer Berlin Heidelberg Mai 1985, 1985
ISBN 10: 3540152393
ISBN 13: 9783540152392
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Flow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs.- Lamport: Verification of concurrent programs.- Owicki & Gries: Verification of parallel programs.- Apt, Francez & de Roever: Verification of CSP.- Barringer & Mearns: Verification of Ada Tasks.- Levin & Gries: Verification of CSP.- Misra & Chandy: Proofs of process networks.- Zhou & Hoare: Correctness of communicating processes.- Conclusions. 128 pp. Englisch. Codice articolo 9783540152392
Compra nuovo
EUR 24,60
EUR 23,00 shipping
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
A Survey of Verification Techniques for Parallel Programs
Editore:
Springer Berlin Heidelberg, 1985
ISBN 10: 3540152393
ISBN 13: 9783540152392
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Flow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs.- Lamport: Verification of concurrent programs.- Owicki & Gries: Verification of parallel programs.- Apt, Francez & de Roever: Verification of CSP.- Barringer & Mearns: Verification of Ada Tasks.- Levin & Gries: Verification of CSP.- Misra & Chandy: Proofs of process networks.- Zhou & Hoare: Correctness of communicating processes.- Conclusions. Codice articolo 9783540152392
Compra nuovo
EUR 24,60
EUR 61,04 shipping
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
A Survey of Verification Techniques for Parallel Programs
Editore:
Springer Berlin Heidelberg, J.B. Metzler Mai 1985, 1985
ISBN 10: 3540152393
ISBN 13: 9783540152392
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Flow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs.- Lamport: Verification of concurrent programs.- Owicki & Gries: Verification of parallel programs.- Apt, Francez & de Roever: Verification of CSP.- Barringer & Mearns: Verification of Ada Tasks.- Levin & Gries: Verification of CSP.- Misra & Chandy: Proofs of process networks.- Zhou & Hoare: Correctness of communicating processes.- Conclusions.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 128 pp. Englisch. Codice articolo 9783540152392
Compra nuovo
EUR 24,60
EUR 60,00 shipping
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
A Survey of Verification Techniques for Parallel Programs
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Flow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs.- Lamport: Verification of concurrent programs.- Owicki & Gries: Verification of parallel programs.- Apt, Francez & de Roever: Verification of CSP.- Barringer . Codice articolo 4882557
Compra nuovo
EUR 24,66
EUR 48,99 shipping
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
A Survey of Verification Techniques for Parallel Programs
Da: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. A Survey of Verification Techniques for Parallel Programs | Howard Barringer | Taschenbuch | Einband - flex.(Paperback) | Englisch | 1985 | Springer | EAN 9783540152392 | Verantwortliche Person für die EU: Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu. Codice articolo 101947191
Compra nuovo
EUR 24,90
EUR 70,00 shipping
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 5 disponibili
Foto dell'editore
A Survey of Verification Techniques for Parallel Programs
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
PF. Condizione: New. Codice articolo 6666-IUK-9783540152392
Compra nuovo
EUR 24,97
EUR 17,67 shipping
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 10 disponibili
Foto dell'editore
A Survey of Verification Techniques for Parallel Programs
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020160552
Compra nuovo
EUR 38,29
EUR 3,40 shipping
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili