Formal Methods
An Appetizer
Edición de la obra Formal Methods
| Autor | Flemming Nielson, Hanne Riis Nielson |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Jul 17, 2019 |
| Páginas | 160 |
| Formato | hardcover |
| ISBN-13 | 9783030051556 |
| ISBN-10 | 3030051552 |
| Número de Cutter | N669f |