Results

Book cover

Teaching Formal Methods

CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings

© 2004

Soft cover - Print (ISBN: 978-3-540-23611-5)

Electronic (ISBN: 978-3-540-30472-2)

View this book on SpringerLink

Download Product Archive File - 978-3-540-30472-2 Download product archive files for 978-3-540-30472-2