Spar
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.
- Undertittel
- 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings
- Redaktør
- Jorge Cuellar, Tom Maibaum
- Opplag
- 2008 ed.
- ISBN
- 9783540682356
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 8.5.2008
- Antall sider
- 436
