Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings (Lecture Notes in Computer Science (1945), Band 1945)

von: Wolfgang Grieskamp · Thomas Santen · Bill Stoddart Taschenbuch Details (Deutschland) ISBN: 978-3-540-41196-3 ISBN-10: 3-540-41196-8 Springer · 2008