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...
Gorde:
| Beste egile batzuk: | , |
|---|---|
| Formatua: | Baliabide elektronikoa Liburu kapitulua |
| Hizkuntza: | ingelesa |
| Argitaratua: |
Taylor & Francis
2017
|
| Gaiak: | |
| Sarrera elektronikoa: | OAPEN Library: download the publication OAPEN Library: description of the publication |
| Etiketak: |
Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|
Search Result 1
DOAB: description of the publication
Behavioural Types From Theory to Tools
Argitaratua 2017
DOAB: download the publication
DOAB: description of the publication
Baliabide elektronikoa
Liburu kapitulua