Behavioural Types: From Theory to Tools - Tapa blanda

 
9788770044271: Behavioural Types: From Theory to Tools
Tapa blanda
ISBN 10: 8770044279 ISBN 13: 9788770044271
Editorial: River Publishers, 2024

Sinopsis

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, motivated by the importance of structured communication in modern software. Behavioural Types: from Theory to Tools presents programming languages and software tools produced by members of COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems, a European research network that was funded from October 2012 to October 2016. As a survey of the most recent developments in the application of behavioural type systems, it is a valuable reference for researchers in the field, as well as an introduction to the area for graduate students and software developers.

"Sinopsis" puede pertenecer a otra edición de este libro.

Editorial
River Publishers
Año de publicación
2024
Idioma
Inglés
ISBN 10 
8770044279
ISBN 13 
9788770044271
Encuadernación
Tapa blanda
Número de edición
1
Número de páginas
410
Editor
Gay Simon, Ravara António
Contacto del fabricante
no disponible
Persona responsable
no disponible

Otras ediciones populares con el mismo título

9788793519824: Behavioural Types: From Theory to Tools (River Publishers Series in Automation, Control and Robotics)

Edición Destacada

ISBN 10:  8793519826 ISBN 13:  9788793519824
Editorial: River Publishers, 2017
Tapa dura