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 2011, held in Turin, Italy, in October 2011 – organised by COST Action IC0701.
- Undertittel
- International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
- Redaktør
- Bernhard Beckert, Ferruccio Damiani, Dilian Gurov
- Opplag
- 2012 ed.
- ISBN
- 9783642317613
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 19.7.2012
- Antall sider
- 251
