Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International ... May 12-17, 2003, Revised Selected Pap
- Paperback
- Publisher:
- Springer
- Release Date:
- 2014
- ISBN-10:
- 3662211289
- ISBN-13:
- 9783662211281
- List Price:
- $39.99
None of our live price feeds has this ISBN right now. Check the stores below, or come back later.
| Store | Condition | Coupons & Deals | Price | Shipping | Total | |
|---|---|---|---|---|---|---|
| eCampus New, used, rental & eBook |
New, used, rental & eBook | Check price at eCampus |
at checkout | |||
| Knetbooks Rental |
Rental | Check price at Knetbooks |
at checkout | |||
| BiggerBooks New, used & rental |
New, used & rental | Check price at BiggerBooks |
at checkout | |||
| VitalSource eBook |
eBook | Check price at VitalSource |
at checkout | |||
| RedShelf eTextbook |
eTextbook | Check price at RedShelf |
at checkout | |||
| AbeBooks Used & new (marketplace) |
Used & new (marketplace) | Check price at AbeBooks |
at checkout | |||
| SellBackBooks Sell back |
Sell back | Check price at SellBackBooks |
at checkout | |||
Prices checked Oct 20, 2026, 3:43 AM ET. Totals include shipping where the store lists it.
About Relational and Kleene-Algebraic Methods in Computer Science: 7th International…
Invited Papers.- Choice Procedures in Pairwise Comparison Multiple-Attribute Decision Making Methods.- Kleene Algebra with Relations.- Contributed Papers.- Integrating Model Checking and Theorem Proving for Relational Reasoning.- Fixed-Point Characterisation of Winning Strategies in Impartial Games.- Checking the Shape Safety of Pointer Manipulations.- Applying Relational Algebra in 3D Graphical Software Design.- Investigating Discrete Controllability with Kleene Algebra.- Tracing Relations Probabilistically.- Pointer Kleene Algebra.- Kleene Modules.- The Categories of Kleene Algebras, Action Algebras and Action Lattices Are Related by Adjunctions.- Towards a Formalisation of Relational Database Theory in Constructive Type Theory.- SCAN Is Complete for All Sahlqvist Formulae.- Relations and GUHA-Style Data Mining II.- A Note on Complex Algebras of Semigroups.- Calculational…
How CheapestTextbooks.com compares prices
When you open this page we ask eCampus, Knetbooks, BiggerBooks, VitalSource and RedShelf for their current prices on ISBN 9783662211281 and sort every offer by its total with shipping. Rental rows show the term (semester, quarter or short term) and that term goes with you to the store's cart, and eBook rows link straight to the 180-day or no-expiry option you picked. Prices are rechecked at least every 30 minutes, so confirm the total at checkout.
© CheapestTextbooks.com 2001-2026. All rights reserved.