The Business of Hacking Más libros de Michael Butler & Jacob G. Oakley
Theoretical Cybersecurity
2022
Driveshaft
2019
Abstract State Machines, Alloy, B, TLA, VDM, and Z
2018
Introduction to Organisational Behaviour
2011
American Angleball
2016
Abstract State Machines, Alloy, B, TLA, VDM, and Z
2016
Formal Methods and Software Engineering
2015
FM 2011: Formal Methods
2011
Methods, Models and Tools for Fault Tolerance
2009
Abstract State Machines, B and Z
2008