Integrated Formal Methods
13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Edición de la obra Integrated Formal Methods
| Autor | Nadia Polikarpova, Steve Schneider |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Aug 27, 2017 |
| Páginas | 459 |
| Formato | paperback |
| ISBN-13 | 9783319668444 |
| ISBN-10 | 3319668447 |
| Número de Cutter | P768i |