Lecture Notes in Computer Science

International Symposium on Programming

5th Colloquium, Turin, April 6-8, 1982. Proceedings

Editors: Dezani-Ciancaglini, M., Montanari, U. (Eds.)

Free Preview

Buy this book

eBook $39.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-39184-5
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $49.99
price for USA in USD
  • ISBN 978-3-540-11494-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (25 chapters)

Table of contents (25 chapters)
  • Applicative communicating processes in first order logic

    Pages 1-14

    Bellia, Marco (et al.)

  • A machine-level semantics for nondeterministic, parallel programs

    Pages 15-25

    Benson, David B.

  • A formalized proof system for total correctness of while programs

    Pages 26-36

    Bergstra, J. A. (et al.)

  • Automatic program transformation viewed as theorem proving

    Pages 37-46

    Costa, Ernesto J. F.

  • An enlarged definition and complete axiomatization of observational congruence of finite processes

    Pages 47-62

    Darondeau, Ph.

Buy this book

eBook $39.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-39184-5
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $49.99
price for USA in USD
  • ISBN 978-3-540-11494-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
International Symposium on Programming
Book Subtitle
5th Colloquium, Turin, April 6-8, 1982. Proceedings
Editors
  • M. Dezani-Ciancaglini
  • U. Montanari
Series Title
Lecture Notes in Computer Science
Series Volume
137
Copyright
1982
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-39184-5
DOI
10.1007/3-540-11494-7
Softcover ISBN
978-3-540-11494-9
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VIII, 416
Topics