Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings (Lecture Notes in Computer Science (2999), Band 2999)

von: Graeme Smith · Eerke Boiten · John Derrick Taschenbuch Details (Deutschland) ISBN-13: 978-3-540-21377-2 ISBN-10: 3-540-21377-5 Springer · 2008