Image from Amazon.com
Programming in Martin-Löf's type theory : an introduction / Bengt Nordström, Kent Petersson, and Jan M. Smith.
Material type:
TextSeries: International series of monographs on computer science ; 7 | Oxford science publicationsPublication details: Oxford : Clarendon Press ; New York : Oxford University Press, 1990.Description: x, 221 pagesISBN: - 0198538146
- 005.1 20
- QA 76.6 .N66 1990
| Item type | Current library | Call number | Status | Barcode | |
|---|---|---|---|---|---|
| Loan | Margaret Thatcher Library Second Floor | QA 76.6 .N66 1990 (Browse shelf(Opens below)) | Available | 10000597 | |
| Loan | Margaret Thatcher Library Second Floor | QA 76.6 .N66 1990 (Browse shelf(Opens below)) | Available | 10000599 | |
| Loan | Margaret Thatcher Library Second Floor | QA 76.6 .N66 1990 (Browse shelf(Opens below)) | Available | 10000598 |
Browsing Margaret Thatcher Library shelves,Shelving location: Second Floor Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| QA 76.6 .M888 1981 The art of software testing / | QA 76.6 .M888 1981 The art of software testing / | QA 76.6 .N53 1994 Structured program design : | QA 76.6 .N66 1990 Programming in Martin-Löf's type theory : | QA 76.6 .N66 1990 Programming in Martin-Löf's type theory : | QA 76.6 .N66 1990 Programming in Martin-Löf's type theory : | QA 76.6 .R3 16-bit microprocessor handbook / |
Includes bibliographical references (p. [203]-211) and index.
There are no comments on this title.
Log in to your account to post a comment.