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.
Risultati della ricerca per A Survey of Verification Techniques for Parallel Programs:...
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,14
Spese di spedizione:
EUR 6,07
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,88
Spese di spedizione:
EUR 1,69
In U.S.A.
Quantità: 1 disponibili
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
Spese di spedizione:
EUR 22,50
Da: Francia a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
A Survey of Verification Techniques for Parallel Programs
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540152392_new
Compra nuovo
EUR 26,80
Spese di spedizione:
EUR 13,63
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 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 39,02
Spese di spedizione:
EUR 3,46
In U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
A Survey of Verification Techniques for Parallel Programs
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
PF. Condizione: New. Codice articolo 6666-IUK-9783540152392
Compra nuovo
EUR 24,90
Spese di spedizione:
EUR 17,62
Da: Regno Unito a: U.S.A.
Quantità: 10 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
Spese di spedizione:
EUR 23,00
Da: Germania a: U.S.A.
Quantità: 2 disponibili
Foto dell'editore
A Survey of Verification Techniques for Parallel Programs
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 128. Codice articolo 263058618
Compra nuovo
EUR 65,94
Spese di spedizione:
EUR 3,46
In U.S.A.
Quantità: 4 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
Spese di spedizione:
EUR 48,99
Da: Germania a: U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
A Survey of Verification Techniques for Parallel Programs
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand pp. 128 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Codice articolo 5837925
Compra nuovo
EUR 68,86
Spese di spedizione:
EUR 7,39
Da: Regno Unito a: U.S.A.
Quantità: 4 disponibili