From Action Systems to Distributed Systems: The Refinement Approach

Crafting Interpreters

Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings

Compiler Design

Xamarin Mobile Application Development: Cross-Platform C# and Xamarin.Forms Fundamentals

Software Engineering for Robotics

C++ Quick Syntax Reference

Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Practical TLA+: Planning Driven Development

Object-Oriented Programming and Java: Edition 2

Pro TBB: C++ Parallel Programming with Threading Building Blocks

Exploring C++: The Programmer's Introduction to C++

Learn Java for Android Development: Edition 2

Pro React

TouchDevelop: Programming on the Go, Edition 3

Oracle and PL/SQL Recipes: A Problem-Solution Approach

Pro .NET Memory Management: For Better Code, Performance, and Scalability

Lecture Slides for the Clang Libraries [LLVM/Clang 15] (Edition 0.0)

Rethinking Productivity in Software Engineering