Michael Butler – författare

Global Politics

Cell Culture and Upstream Processing

Theoretical Cybersecurity

Principles and Advanced Concepts

Taos

A Pictorial Guide for Travelers

Tracking the Chili Line Railroad to Santa Fe

1040 Impact Christmas Edition

Numerical Intuition

Familiarity

Embedding Sustainability, Corporate Social Responsibility and Ethics in Business Education

Introduction to Organisational Behaviour

Animal Cell Culture and Technology

Driveshaft

Gauntlet

The Novelization

Gauntlet

The Novelization

Formal Methods and Software Engineering

17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Abstract State Machines, Alloy, B, TLA, VDM, and Z

5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Abstract State Machines, Alloy, B, TLA, VDM, and Z

6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

Integrated Formal Methods

Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.

Rigorous Development of Complex Fault-Tolerant Systems

Formal Methods and Software Engineering

9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings

Abstract State Machines, B and Z

First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Methods, Models and Tools for Fault Tolerance

FM 2011: Formal Methods

17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings

1040 Impact