Home > Authors > Michael Butler

Michael Butler

All books by Michael Butler

(Displaying 3 Books)

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

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

Michael Butler

Formal Methods and Software Engineering

Formal Methods and Software Engineering

Michael Butler

Global Politics with Connect 1-Term Access Card

Global Politics with Connect 1-Term Access Card

Mark Boyer

Looking for another book by Michael Butler? Search for the book by title.