On Concurrent Programming

Schneider, Fred B.

  • 4.00 out of 5 stars
    5 ratings by Goodreads
ISBN 10: 0387949429 ISBN 13: 9780387949420
Published by Springer, 1997
Used Hardcover

From ThriftBooks-Atlanta, AUSTELL, GA, U.S.A. Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

AbeBooks Seller since March 24, 2009

This specific item is no longer available.

About this Item

Description:

Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.9. Seller Inventory # G0387949429I3N10

  • 4.00 out of 5 stars
    5 ratings by Goodreads

Report this item

Synopsis:

Concurrent computing is gaining ground in interest as it becomes increasingly feasible to implement distributed computing across networks of workstations. This book, by one of the subject's leading figures, provides a comprehensive survey of the subject beginning with proposotional logic and concluding with concurrent programming. It is based on graduate courses taught at Cornell University and is designed to be used as a graduate text. There are exercises at the end of each chapter to extend and illustrate the main themes covered. Professor Schneier emphasizes the use of formal methods and assertional reasoning using notation and paradigms drawn from programming to drive the exposition. As a result, all those interested in studying concurrent computing will find this to be an invaluable approach to the subject.

From the Back Cover: Much software today is structured as concurrent programs. This graduate-level text offers a self-contained and in-depth treatment of the subject. Formal methods and assertional reasoning drive the exposition. Not only are derivation and reasoning about concurrent programs discussed, but the assertional approach provides a compelling way to motivate and understand the more traditional concerns in concurrent programming.

"About this title" may belong to another edition of this title.

Bibliographic Details

Title: On Concurrent Programming
Publisher: Springer
Publication Date: 1997
Binding: Hardcover
Condition: Good
Dust Jacket Condition: No Jacket

Top Search Results from the AbeBooks Marketplace

Stock Image

Schneider Fred B.
Published by Springer, 1997
ISBN 10: 0387949429 ISBN 13: 9780387949420
New Hardcover

Seller: Majestic Books, Hounslow, United Kingdom

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. pp. 496 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Seller Inventory # 7377937

Contact seller

Buy New

US$ 32.78
US$ 8.70 shipping
Ships from United Kingdom to U.S.A.

Quantity: 4 available

Add to basket

Stock Image

Schneider, Fred B.
Published by Springer, 1997
ISBN 10: 0387949429 ISBN 13: 9780387949420
Used Hardcover

Seller: HPB-Red, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_382582544

Contact seller

Buy Used

US$ 32.83
US$ 3.75 shipping
Ships within U.S.A.

Quantity: 1 available

Add to basket

Stock Image

Schneider, Fred B.; Gries, David
Published by Springer, New York
ISBN 10: 0387949429 ISBN 13: 9780387949420
Used Hardcover First Edition

Seller: Alien Bindings, BALTIMORE, MD, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Hardcover. Condition: Very Good. No Jacket. First Edition. Hardcover Edition in Very Good condition. The covers show a little edge wear, but are in overall good shape. Faint staining to the front edge of the text block. The binding is square and tight. Small abrasion to the front flyleaf. Slight mustiness to the book. The interior pages are unmarked. The book will be carefully packaged for shipment for protection from the elements. USPS electronic tracking number issued free of charge. Here, one of the leading figures in the field provides a comprehensive survey of the subject, beginning with prepositional logic and concluding with concurrent programming. It is based on graduate courses taught at Cornell University and is designed for use as a graduate text. Professor Schneier emphasises the use of formal methods and assertional reasoning using notation and paradigms drawn from programming to drive the exposition, while exercises at the end of each chapter extend and illustrate the main themes covered. As a result, all those interested in studying concurrent computing will find this an invaluable approach to the subject. Seller Inventory # 14746

Contact seller

Buy Used

US$ 34.95
Free Shipping
Ships within U.S.A.

Quantity: 1 available

Add to basket

Stock Image

Fred B. Schneider
Published by Springer, 1997
ISBN 10: 0387949429 ISBN 13: 9780387949420
New Hardcover

Seller: Books Puddle, New York, NY, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. pp. 496. Seller Inventory # 26469966

Contact seller

Buy New

US$ 36.14
US$ 3.99 shipping
Ships within U.S.A.

Quantity: 4 available

Add to basket

Stock Image

Schneider, Fred B.
Published by Springer, 1997
ISBN 10: 0387949429 ISBN 13: 9780387949420
Used Hardcover

Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Hardcover. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0387949429I3N00

Contact seller

Buy Used

US$ 36.82
Free Shipping
Ships within U.S.A.

Quantity: 1 available

Add to basket

Seller Image

Schneider, Fred B.
Published by Springer, 1997
ISBN 10: 0387949429 ISBN 13: 9780387949420
Used Hardcover

Seller: Bay State Book Company, North Smithfield, RI, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: very_good. Seller Inventory # BSM.WVRP

Contact seller

Buy Used

US$ 36.82
Free Shipping
Ships within U.S.A.

Quantity: 1 available

Add to basket

Stock Image

Schneider Fred B.
Published by Springer, 1997
ISBN 10: 0387949429 ISBN 13: 9780387949420
New Hardcover

Seller: Biblios, Frankfurt am main, HESSE, Germany

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. pp. 496. Seller Inventory # 18469956

Contact seller

Buy New

US$ 38.97
US$ 11.65 shipping
Ships from Germany to U.S.A.

Quantity: 4 available

Add to basket

Stock Image

Fred B. Schneider
Published by Springer New York, 1997
ISBN 10: 0387949429 ISBN 13: 9780387949420
Used Hardcover

Seller: Buchpark, Trebbin, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Gut. Zustand: Gut | Seiten: 496 | Sprache: Englisch | Produktart: Bücher | Concurrent computing is gaining ground in interest as it becomes increasingly feasible to implement distributed computing across networks of workstations. This book, by one of the subject's leading figures, provides a comprehensive survey of the subject beginning with proposotional logic and concluding with concurrent programming. It is based on graduate courses taught at Cornell University and is designed to be used as a graduate text. There are exercises at the end of each chapter to extend and illustrate the main themes covered. Professor Schneier emphasizes the use of formal methods and assertional reasoning using notation and paradigms drawn from programming to drive the exposition. As a result, all those interested in studying concurrent computing will find this to be an invaluable approach to the subject. Seller Inventory # 130/3

Contact seller

Buy Used

US$ 40.09
US$ 122.98 shipping
Ships from Germany to U.S.A.

Quantity: 2 available

Add to basket

Seller Image

Fred B. Schneider
Published by Springer New York, 1997
ISBN 10: 0387949429 ISBN 13: 9780387949420
New Hardcover
Print on Demand

Seller: moluna, Greven, Germany

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Here, one of the leading figures in the field provides a comprehensive survey of the subject, beginning with prepositional logic and concluding with concurrent programming. It is based on graduate courses taught at Cornell University and is designed for use. Seller Inventory # 5912262

Contact seller

Buy New

US$ 56.98
US$ 57.38 shipping
Ships from Germany to U.S.A.

Quantity: Over 20 available

Add to basket

Seller Image

Fred B. Schneider
Published by Springer New York, 1997
ISBN 10: 0387949429 ISBN 13: 9780387949420
New Hardcover
Print on Demand

Seller: preigu, Osnabrück, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Buch. Condition: Neu. On Concurrent Programming | Fred B. Schneider | Buch | xix | Englisch | 1997 | Springer New York | EAN 9780387949420 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. Seller Inventory # 107115253

Contact seller

Buy New

US$ 59.29
US$ 81.99 shipping
Ships from Germany to U.S.A.

Quantity: 5 available

Add to basket

There are 7 more copies of this book

View all search results for this book