|
Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design
|
Buy Now
Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings (Paperback, 1st ed. 2015)
Loot Price: R2,588
Discovery Miles 25 880
|
|
|
Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings (Paperback, 1st ed. 2015)
Series: Lecture Notes in Computer Science, 9348
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
