Static Analysis: 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2002)

Brand new: lowest price

AU $178.99

Free postage
  • Get it by Thu, 29 Mar - Tue, 17 Apr from Sydney, Australia
  • Brand new condition
  • • Returns accepted - 30 days money back
Static Program Analysis via 3-Valued Logic. - Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges. - An Algebraic Approach to the Static Analysis of Concurrent Software.