Relational and Algebraic Methods in Computer Science

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

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

Autor: Wolfram Kahl, Michael Winter, José Oliveira

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer International Publishing AG

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 147 Kč

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

Informace o knize

Autor

Wolfram Kahl, Michael Winter, José Oliveira

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2015

Stránek

395

EAN

9783319247038

ISBN

3319247034

Enbook ID

09523628

Vydavatel

Springer International Publishing AG

Hmotnost

6146

Rozměry

155 x 235 x 20

Kompletní popis

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

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Relational and Algebraic Methods in Computer Science

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

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také