Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings
- Author
- Kung-Kiu Lau (auth.), C. Neville Dean, Raymond T. Boute (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Language
- English
- Edition
- 1
- Year
- 2004
- Page
- 252
- ISBN
- 3540236112,9783540236115
- File Type
- pdf
- File Size
- 5.6 MiB
How to Download?!!!
Just click on START button on Telegram Bot