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 2011, held in Turin, Italy, in October 2011 – organised by COST Action IC0701.
- Alaotsikko
- International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
- Toimittaja
- Bernhard Beckert, Ferruccio Damiani, Dilian Gurov
- Painos
- 2012 ed.
- ISBN
- 9783642317613
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 19.7.2012
- Sivumäärä
- 251
