Order Total (1 Item Items):
Shipping Destination:
Survey Verification Techniques Parallel by Barringer (13 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (13)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (8)
- As New, Fine or Near Fine (2)
- Very Good or Good (3)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (13)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (8)
- Not Print on Demand (10)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
A Survey of Verification Techniques for Parallel Programs
Language: English
Published by Springer Berlin / Heidelberg, 1985
ISBN 10: 3540152393 ISBN 13: 9783540152392
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
A Survey of Verification Techniques for Parallel Programs
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1985
ISBN 10: 3540152393 ISBN 13: 9783540152392
Softcover. Condition: 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.
-
A Survey of Verification Techniques for Parallel Programs
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 23.74
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Condition: New.
-
PF. Condition: New.
-
Condition: As New. Unread book in perfect condition.
-
A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science)
Language: English
Published by Springer-Verlag 01.09.1985., 1985
ISBN 10: 0387152393 ISBN 13: 9780387152394
Taschenbuch. Condition: Gut. ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 550.
-
A Survey of Verification Techniques for Parallel Programs
Language: English
Published by Springer Berlin Heidelberg, 1985
ISBN 10: 3540152393 ISBN 13: 9783540152392
Taschenbuch. Condition: 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.
-
A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science 191)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. *Price HAS BEEN REDUCED by 10% until Monday, June 15 (sale item)* 114 pp., Paperback, ex library, else text and binding clean and tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Photos available upon request.
-
Taschenbuch. Condition: 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 Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
-
A Survey of Verification Techniques for Parallel Programs
Language: English
Published by Springer Berlin Heidelberg Mai 1985, 1985
ISBN 10: 3540152393 ISBN 13: 9783540152392
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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.
-
A Survey of Verification Techniques for Parallel Programs
Language: English
Published by Springer Berlin Heidelberg, 1985
ISBN 10: 3540152393 ISBN 13: 9783540152392
Condition: 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 .
-
A Survey of Verification Techniques for Parallel Programs
Language: English
Published by Springer, Springer Mai 1985, 1985
ISBN 10: 3540152393 ISBN 13: 9783540152392
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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 KG, Sachsenplatz 4-6, 1201 Wien 128 pp. Englisch.
