Behavioural Types: From Theory to Tools
Author:   Simon Gay (University of Glasgow, UK) ,  Antonio Ravara (Universidade Nova de Lisboa, Portugal)
Publisher:   River Publishers
ISBN:  

9788770044271


Pages:   410
Publication Date:   21 October 2024
Format:   Paperback
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Our Price $75.99 Quantity:  
Add to Cart

Share |

Behavioural Types: From Theory to Tools


Add your own review!

Overview

Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type systems to describe data processing. A major example of such a property is correctness of communication in concurrent and distributed systems, motivated by the importance of structured communication in modern software. Behavioural Types: from Theory to Tools presents programming languages and software tools produced by members of COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems, a European research network that was funded from October 2012 to October 2016. As a survey of the most recent developments in the application of behavioural type systems, it is a valuable reference for researchers in the field, as well as an introduction to the area for graduate students and software developers.

Full Product Details

Author:   Simon Gay (University of Glasgow, UK) ,  Antonio Ravara (Universidade Nova de Lisboa, Portugal)
Publisher:   River Publishers
Imprint:   River Publishers
Weight:   0.757kg
ISBN:  

9788770044271


ISBN 10:   8770044279
Pages:   410
Publication Date:   21 October 2024
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now