Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings (Lecture Notes in Computer Science (3294), Band 3294)

von: Raymond T. Boute · C. Neville Dean Taschenbuch Details (Deutschland) Details (Italien) (siehe auch: Copertina flessibile) ISBN: 978-3-540-23611-5 ISBN-10: 3-540-23611-2 Springer · 2008