Relational and Algebraic Methods in Computer Science

Name: Relational and Algebraic Methods in Computer Science
SKU: 23954863
Price: 139.99 AUD
Availability: InStock

15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings

Format:

Paperback / softback

Series:

Theoretical Computer Science and General Issues

Show Hide Adult Content

$139.99

RRP:: ~~$145.95~~ save $5.96

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Buy Now, Pay Later with:

4 payments of $35.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

Around 13-25 June using International Courier

Description

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.

Release date Australia

November 19th, 2015

Audience

Professional & Vocational

Contributors

Edited by Jose Oliveira
Edited by Michael Winter
Edited by Wolfram Kahl

Edition

1st ed. 2015

Illustrations

51 Illustrations, black and white; X, 395 p. 51 illus.

Pages

395

Series

Theoretical Computer Science and General Issues

Dimensions

155x235x21

ISBN-13

9783319247038

Product ID

23954863

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Get free delivery, exclusive deals, and more^*

Non-Fiction Books:

Relational and Algebraic Methods in Computer Science

Format:

Series:

Buy Now, Pay Later with:

Availability

Description

Customer reviews

Marketplace listings

Help & options

Filed under...

Get free delivery, exclusive deals, and more*

Buy Now, Pay Later with:

Get free delivery, exclusive deals, and more^*