Software Engineering

You watched a language model do half an hour of work on its own. This book is about the question that came next: how much of it can you trust?

Ким би ви не були — бекендером, фронтендером, мобільником чи геймдевелопером, — ви будуєте застосунки й хочете робити це надійно, а не ліпити лайно. В індустрії досі не було жодної сучасної книги, яка б просто й системно пояснювала, як програми влаштовані зсередини: на які поверхи вони діляться, як ці шари взаємодіють і де межа між чистою архітектурою та безглуздим оверхедом. Ця книга закриває цю прогалину.

Residuality Theory is a new way to think about the design of software systems that explains why we experience design the way we do, why certain things seem to work only sporadically, and why certain architects get it right so often regardless of which tools they use. A new, scientific approach is defined that fuses Software Engineering, Complexity Science, and Philosophy to produce an entirely new way to think about how to design software. The result is a theoretical base that allows architecture to finally become its own discipline.

Not just for mathematicians and detectives! Learn the basics of logic and its many applications, including advanced testing, constraint solving, function composition, and code proofs. Over 50 exercises and 20 sample programs are included. No prior math background required!

Go beyond the basics of Lean 4. This practical deep dive explores functional programming, dependent types, theorem proving and formal verification. Learn how Lean works under the hood, build reliable proofs and automation, and tackle larger formal projects with confidence.

The first book to combine Eventmodeling & Eventsourcing to plan software systems of any size and complexity. NEW CHAPTER "Dynamic Consistency Boundary" COMPANION ONLINE COURSE FOR FASTER LEARNING

Doing Cloud is easy. Doing it right is hard. The difficulty appears to be a problem of choice, but behind every Cloud success or failure story, there's always just one reason - cost. This book offers a framework, rooted in understanding Cloud's nature, for applying that understanding to the many shapes cost takes.

Stop fixing the same AI agent mistake twice. Turn each repeat into a small, tested guard: 34 pattern cards, 26 drills you can run offline, and free companion code.

AI is an amplifier. It magnifies whatever engineering discipline — or lack of it — already exists, which means the bottleneck was never AI's capability; it is the collaboration space you design around it. This book is a six-level progression from early AI panic to sovereign engineering: the discipline of designing the environment in which human and artificial intelligence produce work worth keeping. It moves past prompting into the practices that compound — verification, habitat engineering, specification-first development, and the platform discipline that scales the practice across teams. The habitat is yours to design. Let's build it well.

Learn modern C++23 from the ground up with clear explanations and complete, compilable examples. From your first program to advanced topics like concurrency, metaprogramming and performance optimization, this book gives you the skills to write fast, reliable and professional-quality C++ software.

Build games that run almost anywhere with SDL3. This book starts with the basics and steadily moves into advanced graphics, audio, input, and application design using practical, real-world examples. Every chapter includes complete code you can compile and experiment with, helping you understand not just how SDL3 works, but how to use it to build fast, portable applications with confidence.

Have you wondered what makes functional programming such a big deal, but haven't been able to get through any of the explanations? We wrote this book for you. Four years in the making! Phone-friendly: the code listings are easily readable without phone gymnastics. This is a small book—it took an enormous amount of effort to make it so! Also available as a Print Book.

Skip the black-box frameworks. Build a working AI coding agent from scratch in pure Python. Add tools and memory, use cloud or local models, and test it with pytest. All in one file.

The practitioner's guide to Claude Code in production: hooks, permissions, MCP, the Claude Agent SDK, evals and cost control for agents that run under real load. Thirty-one chapters covering the agent loop, tools, hooks, MCP, the Claude Agent SDK, permissions, multi-agent orchestration, evals, observability, and cost engineering. Includes a full walkthrough of Anthropic's financial services reference agents. Code from real production systems, not toy examples.

System Design Workbook – Edição 2026 é uma obra que traduz, organiza e conecta os principais fundamentos da engenharia de sistemas distribuídos sob uma perspectiva prática, moderna e orientada à realidade de produção.