Spara
FM 2008: Formal Methods
The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design.
- Undertitel
- 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings
- Redaktör
- Jorge Cuellar, Tom Maibaum
- Upplaga
- 2008 ed.
- ISBN
- 9783540682356
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2008-05-08
- Sidor
- 436
