Session Types - Gay, Simon J.; Vasconcelos, Vasco T.
62,99 €
inkl. MwSt.
Versandkostenfrei*
Erscheint vorauss. 30. April 2025
payback
31 °P sammeln
  • Gebundenes Buch

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.

Andere Kunden interessierten sich auch für
Produktbeschreibung
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.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Autorenporträt
Simon J. Gay is Professor and Head of Computing Science at the University of Glasgow. He has co-edited two previous books: 'Semantic Techniques in Quantum Computation' (2010) and 'Behavioural Types: From Theory to Tools' (2017).