Inicio > > Ciencias de la computación > Relational and Algebraic Methods in Computer Science
Relational and Algebraic Methods in Computer Science

Relational and Algebraic Methods in Computer Science

 

46,97 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2014
Materia
Ciencias de la computación
ISBN:
9783319062525
46,97 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
Sobre IBD

This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014.The 25 revised full papers presented were carefully selected from 37 submissions. The papers are structured in specific fields on concurrent Kleene algebras and related formalisms, reasoning about computations and programs, heterogeneous and categorical approaches, applications of relational and algebraic methods and developments related to modal logics and lattices.

Artículos relacionados