Spara
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.
- Undertitel
- 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings
- Redaktör
- Karin Breitman, Ana Cavalcanti
- Upplaga
- 2009 ed.
- ISBN
- 9783642103728
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2009-11-17
- Sidor
- 758
