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

Crafting Interpreters

Introduction to Organisational Behaviour

Programming with MotifTM

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

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

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

Model-Based Software Testing and Analysis with C#

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

Methods, Models and Tools for Fault Tolerance

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

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

Learn Java for Android Development: Edition 2

Rigorous Development of Complex Fault-Tolerant Systems

Pro React

Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings