Formal Methods and Software Engineering More Books by Michael Butler, Sylvain Conchon & Fatiha Zaïdi

American Angleball American Angleball
American Angleball
2016
The Business of Hacking The Business of Hacking
The Business of Hacking
2024
Theoretical Cybersecurity Theoretical Cybersecurity
Theoretical Cybersecurity
2022
Driveshaft Driveshaft
Driveshaft
2019
Abstract State Machines, Alloy, B, TLA, VDM, and Z Abstract State Machines, Alloy, B, TLA, VDM, and Z
Abstract State Machines, Alloy, B, TLA, VDM, and Z
2018
Introduction to Organisational Behaviour Introduction to Organisational Behaviour
Introduction to Organisational Behaviour
2011
Abstract State Machines, Alloy, B, TLA, VDM, and Z Abstract State Machines, Alloy, B, TLA, VDM, and Z
Abstract State Machines, Alloy, B, TLA, VDM, and Z
2016
FM 2011: Formal Methods FM 2011: Formal Methods
FM 2011: Formal Methods
2011
Methods, Models and Tools for Fault Tolerance Methods, Models and Tools for Fault Tolerance
Methods, Models and Tools for Fault Tolerance
2009
Abstract State Machines, B and Z Abstract State Machines, B and Z
Abstract State Machines, B and Z
2008