Tallenna
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.
- Alaotsikko
- International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
- Toimittaja
- John Fitzgerald, Ian J. Hayes
- Painos
- 2005 ed.
- ISBN
- 9783540278825
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 4.7.2005
- Sivumäärä
- 558
