.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Relational and Algebraic Methods in Computer Science
. Ed(S): Hofner, Peter; Jipsen, Peter; Kahl, Wolfram; Muller, Martin L.
€ 68.32
FREE Delivery in Ireland
Description for Relational and Algebraic Methods in Computer Science
Paperback. Editor(s): Hofner, Peter; Jipsen, Peter; Kahl, Wolfram; Muller, Martin L. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 475 pages, 28 black & white illustrations, biography. BIC Classification: PBD; UMZ; UYA; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 724.
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.
Product Details
Format
Paperback
Publication date
2014
Publisher
Springer International Publishing AG Switzerland
Number of pages
475
Condition
New
Series
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Number of Pages
463
Place of Publication
Cham, Switzerland
ISBN
9783319062501
SKU
V9783319062501
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Relational and Algebraic Methods in Computer Science