Lecture Notes in Computer Science

FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science

23rd Conference, Mumbai India, December 15-17, 2003, Proceedings

Editors: Pandya, Paritosh K, Radhakrishnan, Jaikumar (Eds.)

Buy this book

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

Table of contents (38 chapters)

  • A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol

    Backes, Michael (et al.)

    Pages 1-12

  • Constructions of Sparse Asymmetric Connectors

    Baltz, Andreas (et al.)

    Pages 13-22

  • A Separation Logic for Resource Distribution

    Biri, Nicolas (et al.)

    Pages 23-37

  • An Equational Theory for Transactions

    Black, Andrew P. (et al.)

    Pages 38-49

  • Axioms for Regular Words

    Bloom, Stephen L. (et al.)

    Pages 50-61

Buy this book

eBook $89.00
price for USA (gross)
  • ISBN 978-3-540-24597-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA
  • ISBN 978-3-540-20680-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
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
Book Subtitle
23rd Conference, Mumbai India, December 15-17, 2003, Proceedings
Editors
  • Paritosh K Pandya
  • Jaikumar Radhakrishnan
Series Title
Lecture Notes in Computer Science
Series Volume
2914
Copyright
2003
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-24597-1
DOI
10.1007/b94618
Softcover ISBN
978-3-540-20680-4
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XIV, 454
Topics