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

Summary goes here

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Fformat:	Llyfr
Iaith:	Saesneg
Pynciau:	Programming languages (Electronic computers) Type theory. COMPUTERS / Programming / Software Development SCIENCE / Energy
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

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