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
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.