Showing 1 - 3 of 3 Results
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