Author: Giacobazzi, Roberto (Ed.):
Title: Static Analysis. 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings
Description: Berlin, Springer 2004. 2004 396 S.; Ill. Paperback Very good. Shrink wrapped. Free shipping within Germany. Shipping costs to EU-countries: 9.50 EUR, to non-EU-countries: 15.00 EUR.

Keywords: data structure, semantics, program manipulation, Scala, static analysis, logic, formal methods, formal verification, software analysis, algorithms, program transformation, program analysis, systems analysis, verification, data structures ISBN: 97835402279


See more books from our catalog: Mathematik