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

by Michael Butler

First published 2016 · 436 pages

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

More by Michael Butler