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...
Kaydedildi:
| Diğer Yazarlar: | , |
|---|---|
| Materyal Türü: | Elektronik Kitap Bölümü |
| Dil: | İngilizce |
| Baskı/Yayın Bilgisi: |
Taylor & Francis
2017
|
| Konular: | |
| Online Erişim: | DOAB: download the publication DOAB: description of the publication |
| Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|
Internet
DOAB: download the publicationDOAB: description of the publication
3rd Floor Main Library
| Yer Numarası: |
A1234.567 |
|---|---|
| Kopya Bilgisi 1 | Kütüphanede |