Formal Methods in Outer Space
Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
Edición de la obra Formal Methods in Outer Space
| Autor | Ezio Bartocci, Yliès Falcone, Martin Leucker |
|---|---|
| Editorial | Springer International Publishing AG |
| Fecha de publicación | 2021 |
| Idioma | inglés |
| ISBN-13 | 9783030873479 |
| Número de Cutter | B292f |