Behavioural types : from theory to tools /
Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type systems to describe data processing. A major example of such a property is correctness of communication in concurrent and distributed systems, mot...
Corporate Author: | |
---|---|
Other Authors: | , |
Format: | eBook |
Language: | English |
Published: |
Gistrup, Denmark :
River Publishers,
[2017]
|
Series: | River Publishers series in automation, control and robotics.
|
Subjects: | |
Online Access: | Connect to the full text of this electronic book |
Internet
Connect to the full text of this electronic bookAvailable Online
Call Number: |
QA76.7 .B44 2017 |
|
---|---|---|
Call Number | Status | Get It |
QA76.7 .B44 2017 | Available |