Synopsis
This book present formal semantics of sequential and parallel programs and emphasis formal relationships between different mathematical description techniquesl Providing a self-contained introduction to all the necessary mathematics, proofs are presented in a readable form which will appeal to the novice. It contains an in-depth study of the most-well-known and widely-used methods for achieving correctness in program design and presents all technical results at an adequate and easy to learn level. Case studies and exercises (some of them with solutions) help illustrate results.
"synopsis" may belong to another edition of this title.
Search results for Semantics Sequential Parallel Programs (Prentice Hall...
Stock Image
Semantics Sequential Parallel Programs
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Softcover. Condition: Bon. Ancien livre de bibliothèque. Edition 1996. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-554-937
Seller Image
Semantics of Sequential and Parallel Programs
Published by
Prentice Hall Europe, Hemel Hempstead, 1996
ISBN 10: 0134606434
ISBN 13: 9780134606439
Used
Paperback
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Paperback in very good condition. Covers are sunned, with a crease to the rear upper corner. Cover edges and corners are slightly bumped and rubbed. Page block is lightly blemished. Covers are clean, binding is sound and pages are clear. LW. Used. Seller Inventory # 611095
Buy Used
£ 25
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Semantics Of Sequential And Parallel Programs
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-60128
Stock Image
Semantics Of Sequential And Parallel Programs
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # ABBB-116235
Stock Image
Semantics of Sequential and Parallel Programs
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: Used. pp. 351 1st Edition. Seller Inventory # 263156707
Stock Image
Semantics of Sequential and Parallel Programs
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: Used. pp. 351. Seller Inventory # 4691260
Buy Used
£ 38.26
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Semantics of Sequential and Parallel Programs
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: Used. pp. 351. Seller Inventory # 183156713