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!
You already know C++. Now learn how real C++ software is actually built.Follow one complete application from architecture and CMake to implementation, testing, Git, CI, Docker, and Qt.
There's a reason your last incident made it past review. It's not that nobody tested — it's that nobody asked the right question. This book is 745 of the right questions, sorted by what happens if you skip them.
An agent's answer can look right while its actions are wrong. Learn to evaluate tasks, traces, tool calls and changed state with reproducible harnesses, tested graders and regression gates.
Are you a VP or Head of Engineering considering the best quality engineering model for your company? Are you a director of Engineering tasked with rolling out a Quality Coach Model? Are you a test lead or software tester shifting to a quality coach role? The Quality Coach Handbook is your practical guide to shifting to a model where the whole team owns quality and in particular software engineers design, build, test and support software. Print version: Paperback and hardcover are available on Amazon. Use your country's Amazon site (e.g., Amazon.com.au for Australia) to minimise shipping time and cost.
This practical handbook provides a step-by-step guide for you to get the best continuous delivery pipeline for your software.
This book is written for anyone who wants to understand what testing and testing leadership are all about. A better understanding will help to lead and improve your testing - whether testing is outsourced or in-house. CEO, CIO, or CTO - this is the testing book for you, too! It's also for anyone who works with software: product owners, project managers, system analysts, developers, testers, test managers, and many others, including students. We have created ACT 2 LEAD mnemonic to help you in leading testing. Read the book to learn what it means!
Every test you have ever written assumed the same input gives the same output. Large language models broke that assumption, and with it most of what our profession knows about verification. This is the discipline that replaces it — golden datasets, property assertions, LLM judges you can actually trust, retrieval evaluation, adversarial suites, and CI gates that let a pipeline say no to a model.
Kalman Filters Made Easy is a clear, intuitive introduction to one of engineering’s most powerful tools for dealing with noisy, imperfect, real‑world data. Instead of drowning you in equations, this book builds deep understanding through real examples — from drifting GPS signals to unpredictable sensor timing — and shows how engineers combine noisy measurements and imperfect models to estimate what’s really happening. If you work with robotics, drones, autonomous systems, or sensor‑driven devices, this guide gives you the mental models you need to design reliable systems in an uncertain world. This reflects the book’s core message: “The world gives us noisy, imperfect measurements. We want clean, reliable, accurate information. The filter is the bridge between the two.”
Spring Boot testing doesn't have to be a nightmare of broken configurations and unreliable tests. This book transforms testing from your biggest frustration into your secret weapon, with proven strategies that work in real projects and examples you can implement today. Demystify testing real-world Spring Boot applications to deliver robust & maintainable code with confidence.
Understand GitHub Actions through visual explanations of workflow execution, runners, job dependencies, data flow, security, and deployment.
Turn Python testing from a manual chore into a reliable engineering workflow. Learn pytest through practical examples covering assertions, exceptions, fixtures, parametrization, test organization, coverage, and CI. Build a stronger safety net for your Python projects and refactor with confidence
From clicking Send in Postman to API suites running in CI — REST, GraphQL, and gRPC, with the HTTP fundamentals that make it all make sense.
Modern Manual Testing: a pivotal guide for updating from manual to modern software testing practices. Embrace small, impactful steps towards long-term quality, mastering innovative techniques that transform your testing methods from traditional to cutting-edge with ease and efficiency.