Tallenna
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.
- Alaotsikko
- International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
- Toimittaja
- Bernhard Beckert, Claude Marché
- Painos
- 2011 ed.
- ISBN
- 9783642180699
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 14.1.2011
- Sivumäärä
- 199
