Cover Image

Behavioural types : from theory to tools /

Show other versions (1)
Bibliographic Details
Other Authors: Gay, Simon, 1969- (Editor), Ravara, António (Editor)
Format: Book
Language:English
Published: Gistrup, Denmark : River Publishers, [2017]
Series:River Publishers series in automation, control and robotics.
Subjects:
Programming languages (Electronic computers)
Type theory.
Search Result 1
Cover Image
Published 2017
Connect to the full text of this electronic book
eBook
Show all versions (2)