Κατάλογος Βιβλιοθηκών Mediterranean College

Image from OpenLibrary

Introduction to Functional Programming

Contributor(s): Material type: TextPublication details: Prentice Hall, 1988Description: 296ISBN:
  • 134841972
Summary: The book emphasizes and develops important mathematical techniques for reasoning about programs and for deriving programs from their specifications. Preface, Fundamental Concepts, Basic Data Types, Lists, Examples, Recursion and Induction, Efficiency, Infinite Lists, New Types, Trees, Bibliography, Index.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Copy number Status Barcode
Books MC Athens Campus Library 005.114 BIR (Browse shelf(Opens below)) 2 Available 9780000011381

The book emphasizes and develops important mathematical techniques for reasoning about programs and for deriving programs from their specifications. Preface, Fundamental Concepts, Basic Data Types, Lists, Examples, Recursion and Induction, Efficiency, Infinite Lists, New Types, Trees, Bibliography, Index.

There are no comments on this title.

to post a comment.

MC Athens Campus Library
Πατησίων 94 & Κοδριγκτώνος 13, 104 34
Πελλήνης 8 & Πατησίων 107, 112 51
Τ: +30 210 8899600

MC Thessaloniki Campus Library
Ίωνος Δραγούμη 21, 54625 | Ίωνος Δραγούμη 15, 54625
Τ: +30 2310 287779 – Τ: +30 2314 440300