Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
- Författare
- Bernhard. Beckert
- (Edited by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Berlin Heidelberg, Imprint: Springer | 2012 | Tyskland, Berlin, Heidelberg | X, 251 sidor. digital. | 978-3-642-31762-0 |
| Springer Berlin Heidelberg | 2011 | Tyskland, Berlin, Heidelberg | 978-3-642-18070-5 |