Spar
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.
- Undertittel
- International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
- Redaktør
- Bernhard Beckert, Claude Marché
- Opplag
- 2011 ed.
- ISBN
- 9783642180699
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 14.1.2011
- Antall sider
- 199
