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

Crafting Interpreters

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

Compiler Design

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

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

Testing of Communicating Systems: 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004., Proceedings

C++ Quick Syntax Reference

Industrial-Strength Formal Methods in Practice

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Object-Oriented Programming and Java: Edition 2

Electronic Visualisation in Arts and Culture

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

Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings

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

Formal Methods: State of the Art and New Directions

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

Provably Correct Systems

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

ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings