Introduction to Organisational Behaviour Más libros de Michael Butler & Ed Rose
The Business of Hacking
2024
Theoretical Cybersecurity
2022
Driveshaft
2019
Abstract State Machines, Alloy, B, TLA, VDM, and Z
2018
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