A Science of Concurrent Programs
Lamport, Leslie
Produktnummer:
16A63913574
| Autor: | Lamport, Leslie |
|---|---|
| Themengebiete: | Computers - Communications / Networking |
| Veröffentlichungsdatum: | 31.03.2026 |
| EAN: | 9781009719858 |
| Sprache: | Englisch |
| Seitenzahl: | 332 |
| Produktart: | Gebunden |
| Verlag: | Cambridge University Press |
Produktinformationen "A Science of Concurrent Programs"
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, which should be implemented 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. The examples are written in TLA+ and are available online. This is a fascinating read for any graduate students and researchers in theoretical computer science, concurrency, and distributed systems.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen