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.
Description
Physical Description:xxxiv, 375 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references and index.
ISBN:8793519826
9788793519824