Theoretical Computer Science and General Issues

Theoretical Aspects of Computing

7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings

Editors: Cavalcanti, A., Deharbe, D., Gaudel, M.-C., Woodcock, J. (Eds.)

  • Up to date results
  • Fast conference prceedings
  • State-of-the-art report
see more benefits

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-14808-8
  • 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
  • ISBN 978-3-642-14807-1
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.

Table of contents (26 chapters)

  • Invariants and Well-Foundedness in Program Algebra

    Hayes, Ian J.

    Pages 1-14

  • A Theory of Software Product Line Refinement

    Borba, Paulo (et al.)

    Pages 15-43

  • The TLA +  Proof System: Building a Heterogeneous Verification Platform

    Chaudhuri, Kaustuv (et al.)

    Pages 44-44

  • Subtyping Algorithm of Regular Tree Grammars with Disjoint Production Rules

    Chen, Lei (et al.)

    Pages 45-59

  • Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution

    Chabin, Jacques (et al.)

    Pages 60-75

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-14808-8
  • 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
  • ISBN 978-3-642-14807-1
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Theoretical Aspects of Computing
Book Subtitle
7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings
Editors
  • Ana Cavalcanti
  • David Deharbe
  • Marie-Claude Gaudel
  • James Woodcock
Series Title
Theoretical Computer Science and General Issues
Series Volume
6255
Copyright
2010
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-14808-8
DOI
10.1007/978-3-642-14808-8
Softcover ISBN
978-3-642-14807-1
Edition Number
1
Number of Pages
XIII, 397
Number of Illustrations and Tables
60 b/w illustrations
Topics