¡Aprovecha los B days 5% dto!  Ver más

Enviar a
Provincia de Madrid
0

Mi Cuenta

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menú

Selecciona tu país

América

Europa

Resto del mundo

portada Behavioural Types: From Theory to Tools (en Inglés)
Formato
Libro Físico
Editorial
Autor
Idioma
Inglés
N° páginas
410
Encuadernación
Tapa Blanda
ISBN13
9788770044271
N° edición
1

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

Gay Simon,Ravara António (Autor) · River Publishers · Tapa Blanda

Behavioural Types: From Theory to Tools (en Inglés) - Gay Simon,Ravara António

Libro Nuevo Importado
Envío: 17 a 22 días háb.
49,32 €46,85 €
-5%
Libro Nuevo

Quedan 9 unidades

46,85 €
Llega entre el 28 Sep y el 07 Oct a Provincia de Madrid. Seleccionar ubicación

Elige la lista en la que quieres agregar tu producto o crea una nueva lista

Ir a Mis Listas
Calcula el costo de 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.

Opiniones del libro

Ver más opiniones de clientes
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Preguntas frecuentes sobre el libro

¿El libro es original?

Todos los libros de nuestro catálogo son Originales.

¿En qué Idioma está escrito el libro?

El libro está escrito en Inglés.

¿Cuál es la encuadernación de este libro?

La encuadernación de esta edición es Tapa Blanda.

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes