Lecture Notes in Computer Science

Informatics

10 Years Back. 10 Years Ahead

Authors: Wilhelm, Reinhard

Buy this book

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

Informatics - 10 Years Back, 10 Years Ahead presents a unique collection of expository papers on major current issues in the field of computer science and information technology. The 26 contributions written by leading researchers on personal invitation assess the state of the art of the field by looking back over the past decade, presenting important results, identifying relevant open problems, and developing visions for the decade to come.
This book marks two remarkable and festive moments: the 10th anniversary of the International Research and Conference Center for Computer Science in Dagstuhl, Germany and the 2000th volume published in the Lecture Notes in Computer Science series.

Table of contents (4 chapters)

  • A Language-Based Approach to Security

    Fred B. Schneider, Greg Morrisett, Robert Harper

    Pages 86-101

  • Abstract Interpretation Based Formal Methods and Future Challenges

    Patrick Cousot

    Pages 138-156

  • Progress on the State Explosion Problem in Model Checking

    Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith

    Pages 176-194

  • From Algorithm to Program to Software Library

    Kurt Mehlhorn

    Pages 268-273

Buy this book

eBook $79.99
price for USA (gross)
  • ISBN 978-3-540-44577-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-540-41635-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
Informatics
Book Subtitle
10 Years Back. 10 Years Ahead
Authors
Series Title
Lecture Notes in Computer Science
Series Volume
2000
Copyright
2001
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-44577-7
DOI
10.1007/3-540-44577-3
Softcover ISBN
978-3-540-41635-7
Series ISSN
0302-9743
Edition Number
1
Number of Pages
IX, 372
Topics