Session Types
Vasconcelos Vasco T. (Universidade de Lisboa)
9781316518274
onload="displayBookAvailableStatusC()"/>
Rating:
Rs. 33593.00
Delivery in 25 - 45 working days
Covid-19 Notice
Due to the current situation the Delivey will be delayed than the standard shipping period (21 working days)
Call our hotline 011 7 463 463
Additional Information
Add to wishlist
| Author(s) :- Vasconcelos Vasco T. (Universidade de Lisboa) | Format :- Hardback |
| Publisher :- Cambridge University Press | Pub. Date :- 2025-03-27 |
| ISBN-13 :- 9781316518274 | |
| Pagination :- 246 pages, Worked examples or Exercises | |
| Dimensions :- 251 x 177 x 23 | |
| Weight :- 600 |
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.
