Stock up on textbooks with 40% off + FREE shipping or choose from thousands of Protocols eBooks at just 9.99 each!

Lecture Notes in Computer Science

Relational and Kleene-Algebraic Methods in Computer Science

7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers

Editors: Berghammer, R., Möller, Bernhard, Struth, Georg (Eds.)

Free Preview

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-540-24771-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-22145-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (23 chapters)

Table of contents (23 chapters)
  • Choice Procedures in Pairwise Comparison Multiple-Attribute Decision Making Methods

    Pages 1-7

    Bisdorff, Raymond (et al.)

  • Kleene Algebra with Relations

    Pages 8-20

    Desharnais, Jules

  • Integrating Model Checking and Theorem Proving for Relational Reasoning

    Pages 21-33

    Arkoudas, Konstantine (et al.)

  • Fixed-Point Characterisation of Winning Strategies in Impartial Games

    Pages 34-47

    Backhouse, Roland (et al.)

  • Checking the Shape Safety of Pointer Manipulations

    Pages 48-61

    Bakewell, Adam (et al.)

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-540-24771-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-22145-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Relational and Kleene-Algebraic Methods in Computer Science
Book Subtitle
7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers
Editors
  • R. Berghammer
  • Bernhard Möller
  • Georg Struth
Series Title
Lecture Notes in Computer Science
Series Volume
3051
Copyright
2004
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-24771-5
DOI
10.1007/b98117
Softcover ISBN
978-3-540-22145-6
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 286
Topics