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...

Ful tanımlama

Kaydedildi:

Detaylı Bibliyografya
Diğer Yazarlar:	Gay, Simon (Editör), Ravara, António (Editör)
Materyal Türü:	Elektronik Kitap Bölümü
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Taylor & Francis 2017
Konular:	Computer programming / software development Energy Computer programming / software engineering;Energy
Online Erişim:	DOAB: download the publication DOAB: description of the publication
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Behavioural Types From Theory to Tools

Baskı/Yayın Bilgisi 2017

OAPEN Library: download the publication
OAPEN Library: description of the publication

Elektronik Kitap Bölümü

Behavioural Types From Theory to Tools

Behavioural Types From Theory to Tools

Benzer Materyaller