2026 Reading Challenge

Specifying Systems Quotes

Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers by Leslie Lamport
45 ratings, 4.16 average rating, 4 reviews
Specifying Systems Quotes Showing 1-1 of 1
“Formal mathematics is nature's way of letting you know how sloppy
your mathematics is.”
― Leslie Lamport, Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
tags: mathematics
2 likes
Like

All Quotes
Quotes By Leslie Lamport