Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

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,775

Discovery Miles 27 750

Repayment Terms: R260 pm x 12*

Add to cart

Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September...

Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings (Paperback, 1st ed. 2015)

Wolfram Kahl, Michael Winter, Jose Oliveira

Series: Lecture Notes in Computer Science, 9348

(sign in to rate)

Loot Price R2,775 Discovery Miles 27 750 | Repayment Terms: R260 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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

Imprint:	Springer International Publishing AG
Country of origin:	Switzerland
Series:	Lecture Notes in Computer Science, 9348
Release date:	November 2015
First published:	2015
Editors:	Wolfram Kahl • Michael Winter • Jose Oliveira
Dimensions:	235 x 155 x 21mm (L x W x T)
Format:	Paperback
Pages:	395
Edition:	1st ed. 2015
ISBN-13:	978-3-319-24703-8
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Computer programming > Software engineering Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > General Promotions
LSN:	3-319-24703-4
Barcode:	9783319247038