Name: Behavioural Types: From Theory to Tools (en Inglés)
Price: 390079.00 COP
Availability: InStock
Author: Gay Simon
ISBN: 9788793519824

portada Behavioural Types: From Theory to Tools (en Inglés)

Formato

Libro Físico

Editorial

Taylor & Francis Ltd

Autor

Gay Simon

Idioma

Inglés

Encuadernación

Tapa Dura

ISBN13

9788793519824

Behavioural Types: From Theory to Tools (en Inglés)

Gay Simon (Autor) · Taylor & Francis Ltd · Tapa Dura

Libro Físico

$ 390.079

$ 650.131

Ahorras: $ 260.052

40% descuento

Envío normal

Origen: Reino Unido (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Viernes 05 de Julio y el Lunes 15 de Julio.

Lo recibirás en cualquier lugar de Colombia entre 1 y 5 días hábiles luego del envío.

Reseña del libro "Behavioural Types: From Theory to Tools (en Inglés)"

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.