Synopsis
Covers a range of sequential and parallel programming languages using a variety of mathematical description techniques. Chapters examine sequential nondeterministic programs, an operational view of relational semantics, definitions of Hoare's proof rule and Dijkstra's weakest preconditions, the data flow of sequential programs, the control flow of a variable-free language and alternative descriptions of the control flow, the relationships between partial order models and interleaving, a shared data language and a CSP language. Annotation c. by Book News, Inc., Portland, Or.
"synopsis" may belong to another edition of this title.
From the Back Cover
Based on an in-depth study of the most widely-used methods for achieving correctness in program design, this book presents the formal semantics of sequential and parallel programs and emphasizes formal relationships between different mathematical description techniques. Covers the semantics of sequential programs; sequential vs. parallel systems; control programs and Petri Nets; Operational semantics and fairness; programs with shared data; communicat ing programs ; proofs and solutions. For computer scientists and mathematicians.
"About this title" may belong to another edition of this title.
Search results for Semantics of Sequential and Parallel Programs
Stock Image
Semantics of Sequential and Parallel Programs
Seller: Book Alley, Pasadena, CA, U.S.A.
Seller rating 4 out of 5 stars
Textbook Binding. Condition: Very Good. Gently handled with no markings. Pasadena's finest new and used bookstore since 1992. Seller Inventory # mon0000465726
Stock Image
Semantics Sequential Parallel Programs (Prentice Hall International Series in Computer Science)
Seller: medimops, Berlin, Germany
Seller rating 5 out of 5 stars
Condition: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. Seller Inventory # M00134606434-G
Buy Used
US$ 8.20
US$ 5.76 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
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
Buy Used
US$ 6.94
US$ 23.62 shipping
Ships from France to U.S.A.
Ships from France to U.S.A.
Quantity: 1 available
Stock Image
Semantics Sequential Parallel Programs
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Softcover. Condition: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1996. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-551-436
Buy Used
US$ 6.94
US$ 23.62 shipping
Ships from France to U.S.A.
Ships from France 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 # ABNR-152048
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
US$ 34.38
US$ 16.69 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: 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
US$ 52.39
US$ 8.68 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
Buy Used
US$ 56.35
US$ 11.46 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available