Lecture Notes in Computer Science

Foundations of Software Technology and Theoretical Computer Science

Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings

Editors: Maheshwari, S.N. (Ed.)

Buy this book

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

Table of contents (4 chapters)

  • The mathematics of programming

    C. A. R. Hoare

    Pages 1-18

  • Concurrent programming using actors: Exploiting large-scale parallelism

    Gul Agha, Carl Hewitt

    Pages 19-41

  • A complete proof system for SCCS with modal assertions

    Glynn Winskel

    Pages 392-410

  • Fast and efficient parallel algorithms for the exact inversion of integer matrices

    Victor Pan

    Pages 504-521

Buy this book

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

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Foundations of Software Technology and Theoretical Computer Science
Book Subtitle
Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings
Editors
  • S.N. Maheshwari
Series Title
Lecture Notes in Computer Science
Series Volume
206
Copyright
1985
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-39722-9
DOI
10.1007/3-540-16042-6
Softcover ISBN
978-3-540-16042-7
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XIII, 527
Topics