Relational and Algebraic Methods in Computer Science

Name: Relational and Algebraic Methods in Computer Science
Brand: Springer International Publishing AG
SKU: 9783319247038
Price: 276.36 RON
Availability: InStock

15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings

Autor: Wolfram Kahl, Michael Winter, José Oliveira

Limbă:

Legare: Carte broșată

Editura: Springer International Publishing AG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

276.36 lei

This book constitutes the proceedings of the 15th International Conference on Relational and Algebra...

Informații despre carte

Autor

Wolfram Kahl, Michael Winter, José Oliveira

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2015

Pagini

395

EAN

9783319247038

ISBN

3319247034

Enbook ID

09523628

Editura

Springer International Publishing AG

Greutate

6146

Dimensiuni

155 x 235 x 20

Descriere completă

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.§

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Relational and Algebraic Methods in Computer Science

15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și