1.
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, ...
by Butler, Michael, Schewe, Kl...
ISBN: 9783319335995
List Price: $94.00
2.
Models: Concepts, Theory, Logic, Reasoning and Semantics: Essays Dedicated to Klaus-Dieter S...
by Mashkoor, Atif, Wang, Qing,...
ISBN: 9781848902763
List Price: $20.00