Name: Session Types
Price: 73.48 EUR
Availability: InStock
Author: Simon J. Gay; Vasco T. Vasconcelos
ISBN: 9781316518274

Select your country

Americas

Europe

Rest of the world

Type

Physical Book

Publisher

Cambridge University Press

Author

Simon J. Gay; Vasco T. Vasconcelos

Language

English

Pages

246

Format

Hardcover

ISBN13

9781316518274

Session Types

Simon J. Gay; Vasco T. Vasconcelos (Author) · Cambridge University Press · Hardcover

New Book Imported to Netherlands

Delivery: 24 Aug - 26 Aug

€ 73,48

Import costs and 9% BTW included in the price ✅

€ 73,48

Add to Wishlist

Synopsis "Session Types"

Session types are type-theoretic specifications of communication protocols in concurrent or distributed systems. By codifying the structure of communication, they make software more reliable and easier to construct. Over recent decades, the topic has become a large and active research area within the field of programming language theory and implementation. Written by leading researchers in the field, this is the first text to provide a comprehensive introduction to the key concepts of session types. The thorough theoretical treatment is complemented by examples and exercises, suitable for use in a lecture course or for self-study. It serves as an entry point to the topic for graduate students and researchers.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

Session Types - Simon J. Gay; Vasco T. Vasconcelos

Synopsis "Session Types"

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery