Spar
Formal Methods and Software Engineering
Formal methods for development of computer systems have been extensively studied over the years. The now long-established series of International Conferences on Formal - gineering Methods brings together those interested in the application of formal engineering methods to computer systems.
- Undertittel
- 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings
- Redaktør
- Karin Breitman, Ana Cavalcanti
- Opplag
- 2009 ed.
- ISBN
- 9783642103728
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 17.11.2009
- Antall sider
- 758
