FM 2015 : Formal Methods
20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Edición de la obra FM 2015 : Formal Methods
| Autor | Nikolaj Bjørner, Frank de Boer |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Jun 02, 2015 |
| Páginas | 626 |
| Formato | paperback |
| ISBN-13 | 9783319192482 |
| ISBN-10 | 3319192485 |
| Número de Cutter | B626f |