Michael Butler

· 52 obras en el catálogo

Obras

Rigorous development of complex fault-tolerant systems

FM 2011: Formal Methods

Introduction To Organisational Behaviour

Methods Models And Tools For Fault Tolerance

Abstract State Machines B And Z First International Conference Abz 2008 London Uk September 1618 2008 Proceedings

Rejection and emancipation

Formal Methods and Software Engineering

MMaking of Modern Switzerland, 1848-1998

Making of Modern Switzerland, 1848-1998

Being your age

GGlobal Politics

Global Politics

Rigorous Development of Complex Fault-Tolerant Systems

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

AAnimal Cell Culture and Technology

Animal Cell Culture and Technology

Cell Culture and Upstream Processing

AAbstract State Machines, B and Z

Abstract State Machines, B and Z

IIntroduction to Organisational Behaviour

Introduction to Organisational Behaviour

CCreation and the Heart of Man

Creation and the Heart of Man

Global Politics with Connect 1-Term Access Card

EEmbedding Sustainability, Corporate Social Responsibility an

Embedding Sustainability, Corporate Social Responsibility and Ethics in Business Education

IIntegrated Formal Methods

Integrated Formal Methods

MMethods, Models and Tools for Fault Tolerance

Methods, Models and Tools for Fault Tolerance

PPractitioner's Guide to Mental Health Law

Practitioner's Guide to Mental Health Law

GGamma Function

Gamma Function

TTheoretical Cybersecurity

Theoretical Cybersecurity