BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

On Concurrent Programming

On Concurrent Programming

On Concurrent Programming
Stock photo: cover may vary

On Concurrent Programming Hardback - - 1st Edition

by Fred B. Schneider

Add to wish list
  • New
  • Hardback
New

Description

Springer , pp. 496 . Hardback. New.
Ask the seller a question Add to wish list
A$146.53
A$5.76 Delivery within USA
Standard delivery: 9 to 14 days
More delivery options
Ships from Cold Books (New York, United States)

Details

  • Title On Concurrent Programming
  • Author Fred B. Schneider
  • Binding Hardback
  • Edition number 1st
  • Edition 1
  • Condition New
  • Pages 473
  • Volumes 1
  • Language ENG
  • Publisher Springer , New York, NY, U.S.A.
  • Publication date pp. 496
  • Features Bibliography, Index
  • Bookseller's Inventory # 6466941
  • ISBN 9780387949420 / 0387949429
  • Weight 1.92 lbs (0.87 kg)
  • Dimensions 9.51 x 6.35 x 1.46 in (24.16 x 16.13 x 3.71 cm)
  • Category Computers - Languages / Programming
  • Library of Congress subjects Parallel programming (Computer science)
  • Library of Congress Catalogue Number 97001017
  • Dewey Decimal Code 005.275
  • Quantity available 4

About Cold Books New York, United States

Biblio member since 2012

Terms of Sale: 30 day return guarantee, with full refund including shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.

Browse books from Cold Books

Reader reviews for On Concurrent Programming

From the publisher

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 rear 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.
tracking-