Applied Formal Methods — FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings
- Author
- Egon Börger (auth.), Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Language
- English
- Edition
- 1
- Year
- 1999
- Page
- 384
- ISBN
- 3540664629),3540664629
- File Type
- pdf
- File Size
- 21.6 MiB
How to Download?!!!
Just click on START button on Telegram Bot