Ml für den arbeitenden Programmierer, Taschenbuch von Paulson, Lawrence C., gebraucht guter C...
60,81 €
Ml for the Working Programmer, Paperback by Paulson, Lawrence C., ISBN 052156543X, ISBN-13 9780521565431, Used Good Condition, Free shipping in the US A programming manual, rather than a reference manual. Some of the material requires an understanding of elementary logic and set theory, as well as some programming experience. Topics include functional programming; the history of ML; names, functions, and types; lists; trees and concrete data; functions and infinite data; reasoning about functional programs; abstract types and functors; imperative programming; writing interpreters; and a tactical theorem prover. Annotation c. by Book News, Inc., Portland, Or.
Jetzt bei Ebay:
