Elements of functional languages / Martin C. Henson

Auteur: Henson, Martin C. (1954-) - AuteurType de document: Monographie Collection: Computer science texts Langue: anglaisPays: Grande BretagneÉditeur: Oxford : Blackwell, 1987Description: 1 vol. (434 p.) : ill. ; 25 cm ISBN: 9780632015061 ; br. Bibliographie: bibliogr. and index. Sujets MSC: 68Q55 Computer science -- Theory of computing -- Semantics
68Q60 Computer science -- Theory of computing -- Specification and verification (program logics, model checking, etc.)
68N18 Computer science -- Software -- Functional programming and lambda calculus
Location Call Number Status Date Due
Salle R 09771-01 / 68 HEN (Browse Shelf) Available

bibliogr. and index

There are no comments for this item.

Log in to your account to post a comment.
Languages: English | Français | |