Lecture Notes in Computer Science

Mathematical Foundations of Computer Science 1974

3rd Symposium at Jadwisin near Warsaw, June 17 - 22, 1974

Editors: Blikle, A. (Ed.)

Buy this book

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

Table of contents (1 chapters)

  • An approach to correctness proofs of semicoroutines

    Ole-Johan Dahl

    Pages

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-37492-3
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-540-07162-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
Mathematical Foundations of Computer Science 1974
Book Subtitle
3rd Symposium at Jadwisin near Warsaw, June 17 - 22, 1974
Editors
  • A. Blikle
Series Title
Lecture Notes in Computer Science
Series Volume
28
Copyright
1975
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-37492-3
DOI
10.1007/3-540-07162-8
Softcover ISBN
978-3-540-07162-4
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VII, 485
Topics