ISBN13: 9783662507162 ISBN10: 3662507161 All Product Details
Introduction.- Program Semantics.- Transformations.- Static Analysis.- Imperative Programs.- Functional Programs.- References.- Index.