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

9788793519824


Pages:   250
Publication Date:   31 July 2017
Format:   Hardback
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 $173.00 Quantity:  
Add to Cart

Share |

Behavioural Types: from Theory to Tools


Add your own review!

Overview

Full Product Details

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

9788793519824


ISBN 10:   8793519826
Pages:   250
Publication Date:   31 July 2017
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Hardback
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

Simon Gay received his Ph.D. from Imperial College London and is now Professor of Computing Science at the University of Glasgow. He is Director of Research in the School of Computing Science, and leader of the Formal Analysis, Theory and Algorithms research section. From 2012 to 2016 he was Chair of COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems. Antonio Ravara received his Ph.D. from the Technical University of Lisbon and is now Assistant Professor of Informatics at the NOVA University of Lisbon. He is a founding member of the NOVA Laboratory for Computer Science and Informatics (NOVA LINCS), which is a leading Portuguese research unit in the area of Computer Science and Engineering. From 2012 to 2016 he was Vice-Chair of COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems.

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