Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures

Crafting Interpreters

Compiler Design

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

The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part I

C++ Quick Syntax Reference

Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

Object-Oriented Programming and Java: Edition 2

Theoretical Aspects of Computing – ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings

Beginning C for Arduino, Second Edition: Learn C Programming for the Arduino, Edition 2

FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings

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

Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

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

Fundamental Approaches to Software Engineering: 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings

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

Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings