Applied Formal Methods - FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, ... Notes in Computer Science (1641), Band 1641)

von: Dieter Hutter · Werner Stephan · Paolo Traverso · Markus Ullmann Taschenbuch Details (Deutschland) ISBN-13: 978-3-540-66462-8 ISBN-10: 3-540-66462-9 Springer · 2008