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 International Publishing AG |
|---|
| Fecha de publicación | 2023 |
|---|
| Idioma | inglés |
|---|
| ISBN-13 | 9783030388027 |
|---|
| Número de Cutter | R733f |
|---|