Leslie Lamport – författare
Visar alla böcker från författaren Leslie Lamport. Handla med fri frakt och snabb leverans.
4 produkter
A Science of Concurrent Programs
Inbunden, 2026
794 kr
Lägg i varukorg
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 …
Latex: A Document Preparation System
Häftad, 1994
5,0 utav 5 stjärnor. Totalt antal röster: (1)
694 kr
Lägg i varukorg
Specifying Systems
The TLA+ Language and Tools for Hardware and Software Engineers
Häftad, 2002
324 kr
Lägg i varukorg
This book is the distillation of over 25 years of work by one of the world's most renowned computer scientists. A specification is a written description of what a system is supposed to do, plus a way of checking to make sure that it works. Specifying a system helps us understand it. It's a good …
