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

Descrición completa

Gardado en:
Detalles Bibliográficos
Outros autores: Gay, Simon (Editor), Ravara, António (Editor)
Formato: Electrónico Capítulo de libro
Idioma:inglés
Publicado: Taylor & Francis 2017
Subjects:
Acceso en liña:OAPEN Library: download the publication
OAPEN Library: description of the publication
Tags: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

Internet

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

3rd Floor Main Library

Detalle de Existencias desde 3rd Floor Main Library
Número de Clasificación: A1234.567
Copia 1 Dispoñible