Session Types

€76.90


Available for sending in 4/5 days

Product Information

ISBN9781316518274
PublisherCambridge University Press
Price (excl. tax)€72.55
Tax€4.35
Price (incl. tax)€76.90
Availability2 units in external warehouse

Product Description

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.