Location & Hours
WPG1-800-561-1833
SK1-877-506-7456
0
Account Login Winnipeg Toll-Free: 1-800-561-1833 SK Toll-Free: 1-877-506-7456 Contact & Locations
parsed(2014-04-10) - pubdate: 2014-04-10
turn:
pub date: 1397106000
today: 1733896800, pubdate > today = false

nyp: 0;

Relational and Algebraic Methods in Computer Science

14th International Conference, Ramics 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proce

by Peter Höfner, Peter Jipsen, Wolfram Kahl
April 10, 2014 | Trade Paperback
ISBN: 9783319062501
$86.95
Out of stock. Available to order from publisher. We will confirm shipping time when order has been placed.
Checking Availibility...

Description

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.

Mathematics / Logic Computers / Data Science Computers / Programming

We're sorry, but this item is not eligible for a Reader Reward discount.

About this Author

ISBN: 9783319062501
Format: Trade Paperback
Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Pages: 463
Publisher: Springer
Published: 2014-04-10

If the product is in stock at the store nearest you, we suggest you call ahead to have it set aside for you, or you may place an order online and choose in-store pickup.