Michael Butler – författare
Visar alla böcker från författaren Michael Butler.
25 produkter
Theoretical Cybersecurity
Principles and Advanced Concepts
Av Jacob G. Oakley, Michael Butler m. fl.
Häftad, 2022
739 kr
Lägg i varukorg
Rodin User's Handbook: Covers Rodin v.2.8
Av Michael Butler, Michael Jastram
Häftad
489 kr
Lägg i varukorg
Embedding Sustainability, Corporate Social Responsibility and Ethics in Business Education
Av Helen Borland, Michael Butler m. fl.
Inbunden, 2022
2259 kr
Lägg i varukorg
Introduction to Organisational Behaviour
Av Michael Butler, Ed Rose m. fl.
Häftad, 2011
1019 kr
Lägg i varukorg
Formal Methods and Software Engineering
17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
Av Michael Butler, Sylvain Conchon m. fl.
Häftad, 2015
729 kr
Lägg i varukorg
Abstract State Machines, Alloy, B, TLA, VDM, and Z
5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Av Michael Butler, Klaus-Dieter Schewe m. fl.
Häftad, 2016
729 kr
Lägg i varukorg
Abstract State Machines, Alloy, B, TLA, VDM, and Z
6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
Av Michael Butler, Alexander Raschke m. fl.
Häftad, 2018
729 kr
Lägg i varukorg
Integrated Formal Methods
Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.
Av Michael Butler, Luigia Petre m. fl.
Häftad, 2002
729 kr
Lägg i varukorg
Rigorous Development of Complex Fault-Tolerant Systems
Av Michael Butler, Cliff Jones m. fl.
Häftad, 2006
729 kr
Lägg i varukorg
Formal Methods and Software Engineering
9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings
Av Michael Butler, Michael G. Hinchey m. fl.
Häftad, 2007
729 kr
Lägg i varukorg
Abstract State Machines, B and Z
First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
Av Egon Börger, Michael Butler m. fl.
Häftad, 2008
729 kr
Lägg i varukorg
Methods, Models and Tools for Fault Tolerance
Av Michael Butler, Cliff B. Jones m. fl.
Häftad, 2009
729 kr
Lägg i varukorg
FM 2011: Formal Methods
17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings
Av Michael Butler, Wolfram Schulte
Häftad, 2011
729 kr
Lägg i varukorg
Business of Hacking
Creating, Developing, and Maintaining an Effective Penetration Testing Team
Av Michael Butler, Jacob G. Oakley
Häftad, 2024
449 kr
Lägg i varukorg
Practical Cybersecurity for Space
Exploitation, Analysis, and Mitigation
Av Jacob Oakley, Brandon Bailey m. fl.
Häftad, 2027
739 kr
Kommande