Lecture Notes in Mathematics

Symposium on Semantics of Algorithmic Languages

Editors: Engeler, E. (Ed.)

Buy this book

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

Table of contents (14 chapters)

  • Axiom systems for simple assignment statements

    Bakker, J. W.

    Pages 1-22

  • A property of linear conditionals

    Bakker, J. W.

    Pages 23-27

  • Formalization of storage properties

    Bekić, H. (et al.)

    Pages 28-61

  • Program schemes, programs and logic

    Cooper, D. C.

    Pages 62-70

  • Algebraic theories and program schemes

    Elgot, Calvin C.

    Pages 71-88

Buy this book

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

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Symposium on Semantics of Algorithmic Languages
Editors
  • E. Engeler
Series Title
Lecture Notes in Mathematics
Series Volume
188
Copyright
1971
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-36499-3
DOI
10.1007/BFb0059689
Softcover ISBN
978-3-540-05377-4
Series ISSN
0075-8434
Edition Number
1
Number of Pages
VIII, 376
Topics