Spara
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.
- Undertitel
- International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
- Redaktör
- John Fitzgerald, Ian J. Hayes
- Upplaga
- 2005 ed.
- ISBN
- 9783540278825
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2005-07-04
- Sidor
- 558
