42670675
9783662436530
Out of Stock
The item you're looking for is currently unavailable.
Ait Ameur, Yamine is the author of 'Abstract State Machines, Alloy, B, Tla, VDM, and Z : 4th International Conference, Abz 2014, Toulouse, France, June 2-6, 2014. Proceedings', published 2014 under ISBN 9783662436530 and ISBN 3662436531.
[read more]