Formal Methods for an Informal World : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures
- Författare
- Antonio. Cerone
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer International Publishing AG | 2023 | Utgivningsland okänt / Ej specificerat, Cham | ||
| Springer | 2023 | Schweiz, Cham, Switzerland | 1 online resource (180 pages) |