Bemærk: Kan leveres før jul.
Forventes på lager: 27-03-2025
This introductory text explores the key concepts of session types, which codify the structure of communication, making software more reliable and easier to construct. Complemented by examples and exercises throughout, it serves as an entry point to the topic for graduate students and researchers.
| Forlag | Cambridge University Press |
| Forfattere | Simon J. (University of Glasgow) Gay, Vasco T. (Universidade de Lisboa) Vasconcelos |
| Type | Bog |
| Format | Hardback |
| Sprog | Engelsk |
| Udgivelsesdato | 27-03-2025 |
| Første udgivelsesår | 2025 |
| Illustrationer | Worked examples or Exercises |
| Originalsprog | United Kingdom |
| Sideantal | 246 |
| Indbinding | Hardback |
| Forlag | Cambridge University Press |
| Sideoplysninger | 246 pages, Worked examples or Exercises |
| Mål | 251 x 177 x 23 |
| ISBN-13 / EAN-13 | 9781316518274 |