Formal Methods – The Next 30 Years
Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Edición de la obra Formal Methods – The Next 30 Years
| Autor | Maurice H. ter Beek, Annabelle McIver, José N. Oliveira |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Sep 15, 2019 |
| Páginas | 795 |
| Formato | paperback |
| ISBN-13 | 9783030309411 |
| ISBN-10 | 303030941X |
| Número de Cutter | B414f |