Buy Used and New Klaus-Dieter Schewe Books

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

Model and Data Engineering: 9th International Conference, MEDI 2019, Toulouse, France, October 28–31, 2019, Proceedings: 11815 (Lecture Notes in Computer Science, 11815)

by Klaus-Dieter Schewe, Neeraj Kumar Singh

ISBN 13: 9783030320645

Format: Paperback (364 pages)
Publisher: Springer
Published: 08 Oct 2019

Save for later