Registro fonte: Behavioural types : from theory to tools / editors, Simon Gay (University of Glasgow, UK), António Ravara (Universidade Nova de Lisboa, Portugal).

Summary goes here

Na minha lista:

Detalhes bibliográficos
Formato:	Livro
Idioma:	inglês
Assuntos:	Programming languages (Electronic computers) Type theory. COMPUTERS / Programming / Software Development SCIENCE / Energy
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

era
format	Book
genre
geographic
id	1a78413d-cc42-48a1-8e33-e9d2dbbc3b42
isbn	9781000799255 (online) 9781000799392 (online) 9781003337331 (online) 9782889633654 (online) 9788793519817 (online)
issn
language	eng
physical
publication	– publisher: River Publishers dateOfPublication: 2017
publishDate	2017
subjects
title	Behavioural types : from theory to tools / editors, Simon Gay (University of Glasgow, UK), António Ravara (Universidade Nova de Lisboa, Portugal).
topic	Programming languages (Electronic computers) Type theory. COMPUTERS / Programming / Software Development SCIENCE / Energy