Tallenna
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.
- Alaotsikko
- 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings
- Toimittaja
- Karin Breitman, Ana Cavalcanti
- Painos
- 2009 ed.
- ISBN
- 9783642103728
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 17.11.2009
- Sivumäärä
- 758
