Practical TLA+: Planning Driven Development

Roslyn Cookbook: Compiler as a Service, Code Analysis, Code Quality and more

Complete Guide to Test Automation: Techniques, Practices, and Patterns for Building and Maintaining Effective Software Projects

Concrete Semantics: With Isabelle/HOL

String Algorithms in C: Efficient Text Representation and Search

C++17 Standard Library Quick Reference: A Pocket Guide to Data Structures, Algorithms, and Functions

Python for Data Science: 2 Books in 1. A Practical Beginner’s Guide to learn Python Programming, introducing into Data Analytics, Machine learning, Web Development, with Hands-on Projects

Today's TBB: C++ Parallel Programming with Threading Building Blocks

Introduction to Compiling Techniques: A First Course Using ANSI C, Lex, and Yacc (The McGraw-Hill International Series in Software Engineering)

Compiler design in C (Prentice-Hall software series)