×


 x 

Shopping cart
. Ed(S): Kahl, Wolfram; Winter, Michael; Oliveira, Jose - Relational and Algebraic Methods in Computer Science - 9783319247038 - V9783319247038
Stock image for illustration purposes only - book cover, edition or condition may vary.

Relational and Algebraic Methods in Computer Science

€ 65.03
FREE Delivery in Ireland
Description for Relational and Algebraic Methods in Computer Science Paperback. Editor(s): Kahl, Wolfram; Winter, Michael; Oliveira, Jose. Series: Lecture Notes in Computer Science. Num Pages: 405 pages, 51 black & white illustrations, biography. BIC Classification: PBCD; UMZ; UYA; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 623.

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.

... Read more

Product Details

Format
Paperback
Publication date
2015
Publisher
Springer International Publishing AG Switzerland
Number of pages
405
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
395
Place of Publication
Cham, Switzerland
ISBN
9783319247038
SKU
V9783319247038
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15

Reviews for Relational and Algebraic Methods in Computer Science

Goodreads reviews for Relational and Algebraic Methods in Computer Science


Subscribe to our newsletter

News on special offers, signed editions & more!