A Method of Programming
A Method of Programming offers a disciplined approach to software development through the lens of mathematical rigor. Written by the legendary Edsger W. Dijkstra and W.H. Feijen, this work focuses on the formal derivation of programs rather than trial and error testing. It introduces readers to the concept of constructive programming, where the code is built alongside its proof of correctness.
Th…
Shelves
More like this
Pro Git
Git is the version control system developed by Linus Torvalds for Linux kernel development. It took the open source world by storm since its incep…
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 Pragmatic Programmer: From Journeyman to Master
Straight from the programming trenches, The Pragmatic Programmer cuts through the increasing specialization and technicalities of modern software …
Growing Object-Oriented Software, Guided by Tests
Foreword by Kent Beck "The authors of this book have led a revolution in the craft of programming by controlling the environment in which software…
Learning Python
Portable, powerful, and a breeze to use, Python is the popular open source object-oriented programming language used for both standalone programs …
Learn You a Haskell for Great Good!
Learn You a Haskell for Great Good! is a fun, illustrated guide to learning Haskell, a functional programming language that's growing in popularit…
Structured Programming
Structured Programming represents a foundational moment in computer science history, bringing together three of the most influential minds in the …
Clean Code: A Handbook of Agile Software Craftsmanship
Even bad code can function. But if code isn't clean, it can bring a development organization to its knees. Every year, countless hours and signifi…
Cracking the Coding Interview: 150 Programming Questions and Solutions
Now in the 5th edition, Cracking the Coding Interview gives you the interview preparation you need to get the top software developer jobs. This is…
Code Complete: A Practical Handbook of Software Construction
Widely considered one of the best practical guides to programming, Steve McConnell’s original code complete has been helping developers write bett…
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…
The C Programming Language
This book is meant to help the reader learn how to program in C. It is the definitive reference guide, now in a second edition. Although the first…