255p red/white paperback, from a Cambridge college library, stiff adhesive transparent film over cover, a few pages protuding but all pages clean, an un-used copy
"Sinopsis" puede pertenecer a otra edición de este libro.
This volume introduces and explores those parts of programming language theory that have important applications in improving the quality of software. Provides an elementary introduction to Floyd-Hoare logic and Calculus, Combinators and Functional Programming.
"Sobre este título" puede pertenecer a otra edición de este libro.