http://www.flazx.us/series/6-Computer-Science-Series flazx Feed, books with series: Computer Science Series en feedback@flazx.us Copyright 2012 http://www.flazx.us/books/1682-Programming-from-Specifications/ http://www.flazx.us/books/1682-Programming-from-Specifications/ This second edition has: substantial restructuring of the previous material, streamlining the programming language recognition feature; simplified presentation of procedures, parameters and recursion, an expanded chapter on the improvement of data, giving much simpler laws that specialize to functional abstraction, a new chapter on recursive types ( trees, etc.) and proper control structures, and, following the initial case study concluded, the two are completely new: "recursive treatment of the largest rectangle under a histogram", and extended specifications and developnent of electronic mail systems (including limited concurrency .) ]]> Wed, 30 May 2012 16:38:44 +0700