Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Crafting Interpreters

Industrial-Strength Formal Methods in Practice

Compiler Design

Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings

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

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

C++ Quick Syntax Reference

Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Object-Oriented Programming and Java: Edition 2

ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

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

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

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

Electronic Visualisation in Arts and Culture

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

Formal Methods: State of the Art and New Directions

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

Provably Correct Systems