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
3.
Database and Expert Systems Applications - DEXA 2024 Workshops : IWCFS, AISys, CIU, Naples, ...
by Moser, Bernhard, Fischer, L...
ISBN: 9783031683015
List Price: $64.99