Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
by Elena Giachino, Frank S. de Boer, Marcello M. Bonsangue, Reiner Hähnle Paperback 2013
- Author: Elena Giachino, Frank S. de Boer, Marcello M. Bonsangue, Reiner Hähnle
- ISBN 13: 9783642406140
- ISBN 10: 3642406149
- Publication Year: 2013
- Language: English
Specifications
| Index-10 | 3642406149 |
|---|---|
| Index-13 | 9783642406140 |
| Language | English |