Cantitate/Preț
Produs

Relational and Algebraic Methods in Computer Science: 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings: Lecture Notes in Computer Science, cartea 9348

Editat de Wolfram Kahl, Michael Winter, José Oliveira
en Limba Engleză Paperback – 19 noi 2015
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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 33785 lei

Preț vechi: 42231 lei
-20% Nou

Puncte Express: 507

Preț estimativ în valută:
6465 6709$ 5404£

Carte tipărită la comandă

Livrare economică 15-29 martie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783319247038
ISBN-10: 3319247034
Pagini: 396
Ilustrații: X, 395 p. 51 illus.
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.57 kg
Ediția:1st ed. 2015
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues

Locul publicării:Cham, Switzerland

Public țintă

Research

Cuprins

Theory of relation algebras and Kleene algebras.- Process algebras.- Fixed point calculi.- Idempotent semirings.- Quantales, allegories, and dynamic algebras.-  Cylindric algebras.- 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.

Caracteristici

Includes supplementary material: sn.pub/extras