
Formal Verification of Object-Oriented Software
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701.
- Undertitel
- International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
- Redaktör
- Bernhard Beckert, Claude Marché
- Upplaga
- 2011 ed.
- ISBN
- 9783642180699
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2011-01-14
- Sidor
- 199
