Adapting proofs-as-programs : the Curry-Howard protocol / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsingl

By:

Contributor(s):

Material type: Text

TextSeries: Monographs in computer sciencePublication details: New York : Springer 2005.Description: xi, 420 p. : ill. ; 24 cmISBN:

Subject(s):

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Home library	Collection	Shelving location	Call number	Copy number	Status	Date due	Barcode
Open Shelf	UMK Kampus Jeli	UMK Kampus Jeli	DEFAULT	Kampus Jeli Open Shelf Level 1	QA9.54 .P64 2005 OS (Browse shelf(Opens below))	1	Available		10025486

Fakulti Keusahawanan dan Perniagaan

includes bibliographical references (p. [407]-416) and index.

There are no comments on this title.

to post a comment.

welcome to