Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Leslie Lamport, a Turing Award winner, provides a definitive guide to TLA+, a formal specification language designed to help engineers think clearly about complex systems. The book moves beyond traditional coding by using mathematical logic to describe exactly how a system should behave. By focusing on safety properties, Lamport teaches readers how to identify and eliminate subtle design flaws be…
Shelves
More like this
Head First Design Patterns
You're not alone. At any given moment, somewhere in the world someone struggles with the same software design problems you have. You know y…
A Philosophy of Software Design
This book addresses the topic of software how to decompose complex software systems into modules (such as classes and methods) that can be impleme…
Eloquent JavaScript: A Modern Introduction to Programming
"A concise and balanced mix of principles and pragmatics. I loved the tutorial-style game-like program development. This book rekindled my earlies…
Patterns of Enterprise Application Architecture
Developers of enterprise applications (e.g reservation systems, supply chain programs, financial systems, etc.) face a unique set of challenges, d…
Peopleware: Productive Projects and Teams
Demarco and Lister demonstrate that the major issues of software development are human, not technical. Their answers aren't easy--just incredibly …
The Passionate Programmer: Creating a Remarkable Career in Software Development
Success in today's IT environment requires you to view your career as a business endeavor. In this book, you'll learn how to become an entrepreneu…
Don't Make Me Think, Revisited: A Common Sense Approach to Web Usability
Since Don’t Make Me Think was first published in 2000, over 400,000 Web designers and developers have relied on Steve Krug’s guide to help them un…
The Mythical Man-Month: Essays on Software Engineering
Few books on software project management have been as influential and timeless as The Mythical Man-Month. With a blend of software engineering fac…
Algorithms
This fourth edition of Robert Sedgewick and Kevin Wayne's Algorithms is the leading textbook on algorithms today and is widely used in colleges an…
Programming Pearls
"The first edition of Programming Pearls was one of the most influential books I read early in my career, and many of the insights I first encount…
LATEX: A Document Preparation System: User's Guide and Reference Manual
Leslie Lamport provides the definitive introduction to the typesetting system that transformed how the world presents technical information. This …
The Practice of Programming
With the same insight and authority that made their book The Unix programming Environment a classic, Brian Kernighan and Rob Pike have written The…