Bargains! PROMOTIONS

Close Notification

Your cart does not contain any items

A Science of Concurrent Programs by Leslie Lamport at Abbey's Bookshop,
A Science of Concurrent Programs
— —
Leslie Lamport

A Science of Concurrent Programs

Leslie Lamport

$163.95   $131.14

Hardback

Not in-store but you can order this
How long will it take?
English
Cambridge University Press
02 April 2026
Programming & scripting languages: general; Distributed databases
Turing Award-winner Leslie Lamport shares the key lessons he has learned about concurrent and distributed computing over decades of writing and reasoning about their algorithms. Algorithms are not programs, and they shouldn't be written in a programming language. Instead, this book explores how to write them and reason about them by using mathematics. It explains the principles underlying abstract programs and understanding those principles helps to avoid concurrency errors. Designing an abstract program before writing any code can lead to better, more reliable programs. The book has very few mathematical prerequisites, with an appendix summarizing the necessary knowledge. Many of the examples are available online, written in the formal language TLA+, and can be checked with the TLA+ tools. This is a fascinating read for any graduate students and researchers in theoretical computer science, concurrency, and distributed systems.
By:  
Imprint:   Cambridge University Press
Country of Publication:   United Kingdom
Weight:   772g
ISBN:   9781009719858
ISBN 10:   1009719858
Pages:   332
Publication Date:  
Audience:   Professional and scholarly ,  Undergraduate
Format:   Hardback
Publisher's Status:   Active
About this book; Acknowledgments; 1. Introduction; 2. Ordinary math; 3. Describing abstract programs with math; 4. Safety, liveness, and fairness; 5. Interlude; 6. Refinement; 7. Auxiliary variables; 8. Loose ends; A. Miscellany; B. Proofs; Bibliography; Index.

Leslie Lamport was Distinguished Scientist at Microsoft Research until his retirement. Dr. Lamport won the 2013 Turing award for 'fundamental contributions to the theory and practice of distributed and concurrent systems.' He is a member of the National Academies of Science and Engineering and the American Association of Arts and Sciences.

See Also

A Science of Concurrent Programs

Generative AI in R

Transforming Data Science with Synthetic...

Akansha Singh

Paperback

$96.95  $82.36

Not in-store but you can order this

ADD +
A Science of Concurrent Programs

Logic and Its Applications

11th Indian Conference, ICLA 2025,...

C. Aiswarya

Paperback

$147.95  $118.08

Not in-store but you can order this

ADD +
A Science of Concurrent Programs

Exploring PHP 8

Small Steps to Giant Leaps

Paul Tregoing

Paperback

$111.95  $89.44

Not in-store but you can order this

ADD +
A Science of Concurrent Programs

Web Development with Django 6

A definitive guide to building modern...

Chris Guest

Paperback

$124.95  $99.70

Not in-store but you can order this

ADD +
A Science of Concurrent Programs

Vector Calculus

Formulations, Applications And Python...

Gui-rong Liu (University Of Cincinnati,...

Hardback

$266.95  $213.86

Not in-store but you can order this

ADD +
A Science of Concurrent Programs

Spring System Design in Practice...

Build scalable web applications...

Rodrigo Santiago

Paperback

$135.95  $108.88

Not in-store but you can order this

ADD +