Results
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