Behavioural Types
Subtitle: From Theory to Tools
Publisher: River Publishers
Published: 2017
Language: eng
ISBN-13: 9788793519817
Subjects: Computer programming; Programming languages (electronic computers)