Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings

Crafting Interpreters

A Discipline of Multiprogramming: Programming Theory for Distributed Applications

Compiler Design

Effective Theories in Programming Practice

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

C++ Quick Syntax Reference

Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

Object-Oriented Programming and Java: Edition 2

From Action Systems to Distributed Systems: The Refinement Approach

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

Program Development by Refinement: Case Studies Using the B Method

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

Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

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

Term Rewriting and All That

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

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings