Formal Methods for Software Engineering: Languages, Methods, Application Domains
- Författare
- Markus Roggenbach
- Genre
- Electronic books
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 2022 | Utgivningsland okänt / Ej specificerat | ||
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat | 978-3-030-38800-3 |