Formal Methods for Software Engineering
Languages, Methods, Application Domains
Edición de la obra Formal Methods for Software Engineering
Languages, Methods, Application Domains
Edición de la obra Formal Methods for Software Engineering
| Editorial | Springer |
|---|
| Fecha de publicación | Sep 22, 2020 |
|---|
| Páginas | 450 |
|---|
| Formato | hardcover |
|---|
| ISBN-13 | 9783030387990 |
|---|
| ISBN-10 | 3030387992 |
|---|
| Número de Cutter | R733f |
|---|