Shop the Archives and get your next eBook for just 14.99! Stock up today >>

Lecture Notes in Computer Science

CAAP'86

11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986. Proceedings

Editors: Franchi-Zannettacci, Paul (Ed.)

Buy this book

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

Table of contents (22 chapters)

  • A categorical treatment of pre- and post- conditions

    Wagner, Eric G.

    Pages 1-5

  • Colourings of planar maps and the equality of two languages

    Cori, R. (et al.)

    Pages 6-16

  • On the equivalence of synchronization sets

    Beauquier, J. (et al.)

    Pages 17-29

  • Inner and mutual compatibility of basic operations on module specifications

    Parisi-Presicce, Francesco

    Pages 30-44

  • Exact computation sequences

    Pelin, Alex (et al.)

    Pages 45-59

Buy this book

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

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
CAAP'86
Book Subtitle
11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986. Proceedings
Editors
  • Paul Franchi-Zannettacci
Series Title
Lecture Notes in Computer Science
Series Volume
214
Copyright
1986
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-39783-0
DOI
10.1007/BFb0022653
Softcover ISBN
978-3-540-16443-2
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VIII, 308
Topics