The Business of Hacking: Creating, Developing, and Maintaining an Effective Penetration Testing Team

Crafting Interpreters

Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings

Compiler Design

FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings

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

Modeling Companion for Software Practitioners

C++ Quick Syntax Reference

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Practical TLA+: Planning Driven Development

Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday

Object-Oriented Programming and Java: Edition 2

Integrated Formal Methods: Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.

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

Rigorous Development of Complex Fault-Tolerant Systems

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

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

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

Methods, Models and Tools for Fault Tolerance