Compartir
Relational and Algebraic Methods in Computer Science: 15th International Conference, Ramics 2015, Braga, Portugal, September 28 - October 1, 2015, Pro (en Inglés)
Kahl, Wolfram ; Winter, Michael ; Oliveira, José (Autor)
·
Springer
· Tapa Blanda
Relational and Algebraic Methods in Computer Science: 15th International Conference, Ramics 2015, Braga, Portugal, September 28 - October 1, 2015, Pro (en Inglés) - Kahl, Wolfram ; Winter, Michael ; Oliveira, José
$ 68.310
$ 136.620
Ahorras: $ 68.310
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
✓ Producto agregado correctamente a la lista de deseos.
Ir a Mis Listas
Origen: Estados Unidos
(Costos de importación incluídos en el precio)
Se enviará desde nuestra bodega entre el
Jueves 11 de Julio y el
Jueves 18 de Julio.
Lo recibirás en cualquier lugar de Chile entre 1 y 3 días hábiles luego del envío.
Reseña del libro "Relational and Algebraic Methods in Computer Science: 15th International Conference, Ramics 2015, Braga, Portugal, September 28 - October 1, 2015, Pro (en Inglés)"
This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015. The 20 revised full papers and 3 invited papers presented were carefully selected from 25 submissions. The papers deal with the theory of relation algebras and Kleene algebras, process algebras; fixed point calculi; idempotent semirings; quantales, allegories, and dynamic algebras; cylindric algebras, and about their application in areas such as verification, analysis and development of programs and algorithms, algebraic approaches to logics of programs, modal and dynamic logics, interval and temporal logics.