Name: concurrency theory: calculi an automata for modelling untimed and timed concurrent systems (en Inglés)
Price: 511887.00 COP
Availability: InStock
Author: Bowman, Howard ; Gomez, Rodolfo
ISBN: 9781852338954

portada concurrency theory: calculi an automata for modelling untimed and timed concurrent systems (en Inglés)

concurrency theory: calculi an automata for modelling untimed and timed concurrent systems (en Inglés)

Formato

Libro Físico

Autor

Howard Bowman

Rodolfo Gomez

Editorial

Springer

Año

2005

Idioma

Inglés

N° páginas

422

Encuadernación

Tapa Dura

Dimensiones

23.4 x 15.6 x 2.5 cm

Peso

0.82 kg.

ISBN

1852338954

ISBN13

9781852338954

Categorías

Programación informática/desarrollo de software
Teoría matemática de la computación
Arquitectura y diseño lógico de ordenadores
Aprendizaje automático («machine learning»)

concurrency theory: calculi an automata for modelling untimed and timed concurrent systems (en Inglés)

Howard Bowman (Autor) · Rodolfo Gomez (Autor) · Springer · Tapa Dura

Libro Nuevo Importado

Envío: 15 a 21 días háb.

$ 930.704$ 511.887

-45%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 511.887

¡Envío Gratis! Llega entre el 02 Sep y el 11 Sep a Bogota, Cundinamarca. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "concurrency theory: calculi an automata for modelling untimed and timed concurrent systems (en Inglés)"

The field of concurrency theory is becoming increasingly important, with the problem of formally verifying concurrent distributed systems a critical consideration and a major topic for the software industries. This book, with its extensive applications of the techniques involved in the field of concurrency theory, is the first to adopt this new approach.