Spara
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.
- Undertitel
- International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
- Redaktör
- Bernhard Beckert, Ferruccio Damiani, Dilian Gurov
- Upplaga
- 2012 ed.
- ISBN
- 9783642317613
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2012-07-19
- Sidor
- 251
