Spar
FM 2005: Formal Methods
This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, during July 18–22, 2005. Formal Methods Europe (FME, www.fmeurope.org) is an independent association which aims to stimulate the use of, and research on, formal methods for system development.
- Undertittel
- International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
- Redaktør
- John Fitzgerald, Ian J. Hayes
- Opplag
- 2005 ed.
- ISBN
- 9783540278825
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 4.7.2005
- Antall sider
- 558
