An edition of On concurrent programming (1997)

On concurrent programming

  • 0 Ratings
  • 1 Want to read
  • 0 Currently reading
  • 0 Have read

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today

  • 0 Ratings
  • 1 Want to read
  • 0 Currently reading
  • 0 Have read

Buy this book

Last edited by MARC Bot
December 10, 2009 | History
An edition of On concurrent programming (1997)

On concurrent programming

  • 0 Ratings
  • 1 Want to read
  • 0 Currently reading
  • 0 Have read

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: synchronization and communication mechanisms; protocols to solve key concurrent programming problems.

As befits an introductory text, readers are provided with a good account of the basics: propositional and predicate logic, temporal logic, and a Hoare-style logic for sequential programs. Exercises at the end of each chapter extend and illustrate the main themes. The result is a book that should be invaluable to those interested in concurrent programming.

Publish Date
Publisher
Springer
Language
English
Pages
473

Buy this book

Previews available in: English

Edition Availability
Cover of: On Concurrent Programming
On Concurrent Programming
2012, Springer New York
in English
Cover of: On Concurrent Programming
On Concurrent Programming
2012, Springer
in English
Cover of: On concurrent programming
On concurrent programming
1997, Springer
in English

Add another edition?

Book Details


Edition Notes

Includes bibliographical references (p. [435]-449) and index.

Published in
Berlin, New York
Series
Graduate texts in computer science

Classifications

Dewey Decimal Class
005.2/75
Library of Congress
QA76.642 .S36 1997, QA75.5-76.95

The Physical Object

Pagination
xix, 473 p. ;
Number of pages
473

ID Numbers

Open Library
OL655958M
Internet Archive
europeanjournalo00amst
ISBN 10
0387949429
LCCN
97001017
OCLC/WorldCat
36181129
Library Thing
276566
Goodreads
2169553

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
August 7, 2024 Edited by MARC Bot import existing book
December 29, 2021 Edited by ImportBot import existing book
February 14, 2020 Edited by MARC Bot remove fake subjects
July 22, 2017 Edited by Mek adding subject: In library
July 30, 2014 Edited by ImportBot import new book