Siirry suoraan sisältöön
FM 2005: Formal Methods
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
Painos
2005 ed.
ISBN
9783540278825
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
4.7.2005
Sivumäärä
558