Models, Algorithms, Logics and Tools
Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Edición de la obra Models, Algorithms, Logics and Tools
Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Edición de la obra Models, Algorithms, Logics and Tools
| Editorial |
|---|
| Springer |
| Fecha de publicación | Jul 25, 2017 |
|---|
| Páginas | 679 |
|---|
| Formato | paperback |
|---|
| ISBN-13 | 9783319631202 |
|---|
| ISBN-10 | 3319631209 |
|---|
| Número de Cutter | A174m |
|---|