Recommended
Specifying Systems
✓ Read
Both a tutorial on specifying systems and a complete reference to TLA, this is the distillation of 25 years of work by a renowned computer scientist. Divided into four parts, the first part contains all that most programmers and engineers need to know about writing specifications. The second part has advanced material for more sophisticated readers. The third and fourth parts comprise a reference manual for TLA+--both the language itself as well as its tools.
First published: 2002 392 pages
- Category
- Computer Science
- Priority
- Recommended
- Author works
- 2
- Language
- eng
Computer systemsSpecificationsSymbolic and mathematical LogicSystem designLogic, symbolic and mathematicalLogicLogic & foundations of mathematicsComputer architecture/engineering
More by Leslie Lamport
More in Computer Science
A Discipline of Programming
Edsger W. Dijkstra
Advanced Programming in the UNIX Environment
W. Richard Stevens
Algorithm Design
Jon Kleinberg and Éva Tardos
Art of Computer Programming Vol1
Donald E. Knuth
Art of Computer Programming Vol2
Donald E. Knuth
Art of Computer Programming Vol3
Donald E. Knuth