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 n/a
  • ISBN 978-3-642-14808-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
Softcover n/a
  • ISBN 978-3-642-14807-1
  • Free shipping for individuals worldwide

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 n/a
  • ISBN 978-3-642-14808-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
Softcover n/a
  • ISBN 978-3-642-14807-1
  • Free shipping for individuals worldwide
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