Buy Used and New YamineAitAmeur Books

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings (Lecture Notes in Computer Science)

by Yamine Ait Ameur, Klaus-Dieter Schewe

ISBN 13: 9783662436516

Format: Paperback (352 pages)
Publisher: Springer
Published: 21 May 2014

Save for later

ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and ... in Computer and Information Science)

by Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe

ISBN 13: 9783319075112

Format: Paperback (176 pages)
Publisher: Springer
Published: 26 May 2014

Save for later