Behavioural Types.

Saved in:

Bibliographic Details
Main Author:	Gay, Simon
Other Authors:	Ravara, António
Format:	eBook
Language:	English
Published:	Aalborg : River Publishers, 2017.
Series:	River Publishers series in automation, control and robotics.
Subjects:	Programming languages. Programming languages (Electronic computers) Type theory Electronic books.
Online Access:	Click for online access

Click for online access

Holdings details from Online
Status:	Available

Similar Items