Lecture Notes in Computer Science

Mathematical Foundations of Computer Science 1975

4th Symposium Marianske Lazne, September 1-5, 1975

Editors: Becvar, J. (Ed.)

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-540-37585-2
  • 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 in USD
  • ISBN 978-3-540-07389-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (49 chapters)

  • Construction of complete sample system for correctness testing

    Barzdin, J. M. (et al.)

    Pages 1-12

  • Ten years of speedup

    Boas, Peter van Emde

    Pages 13-29

  • On logics of discovery

    Hájek, Petr

    Pages 30-45

  • On models of protection in operating systems

    Harrison, Michael A.

    Pages 46-60

  • Parsing as a subtask of compiling

    Král, Jaroslav (et al.)

    Pages 61-74

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-540-37585-2
  • 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 in USD
  • ISBN 978-3-540-07389-5
  • 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 1975
Book Subtitle
4th Symposium Marianske Lazne, September 1-5, 1975
Editors
  • J. Becvar
Series Title
Lecture Notes in Computer Science
Series Volume
32
Copyright
1975
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-37585-2
DOI
10.1007/3-540-07389-2
Softcover ISBN
978-3-540-07389-5
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 480
Topics