Get 40% off of select print and eBooks in Engineering & Materials Science!

Lecture Notes in Computer Science

Static Analysis

9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings

Editors: Hermenegildo, Manuel, Puebla, German (Eds.)

Free Preview

Buy this book

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

Table of contents (35 chapters)

Table of contents (35 chapters)
  • Static Program Analysis via 3-Valued Logic

    Pages 1-1

    Reps, Thomas

  • Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges

    Pages 2-2

    Hall, Robert J.

  • An Algebraic Approach to the Static Analysis of Concurrent Software

    Pages 3-3

    Esparza, Javier

  • Polynomial Constants Are Decidable

    Pages 4-19

    Müller-Olm, Markus (et al.)

  • Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi

    Pages 20-35

    Nielson, Flemming (et al.)

Buy this book

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

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Static Analysis
Book Subtitle
9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings
Editors
  • Manuel Hermenegildo
  • German Puebla
Series Title
Lecture Notes in Computer Science
Series Volume
2477
Copyright
2002
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-45789-3
DOI
10.1007/3-540-45789-5
Softcover ISBN
978-3-540-44235-6
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XII, 536
Topics