PKK Library catalog › ISBD view

Normal view MARC view ISBD view

005.1015113
Poernomo, Iman Hafiz.
Adapting Proofs-as-Programs : The Curry-Howard Protocol / [electronic resource] : / by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley. .- XII, 420 p. 54 illus.. online resource. ** Monographs in Computer Science, 0172-603X )
LC Class. No.: QA76.9.L63 QA76.5913 QA76.63 - Monographs in Computer Science, .
ISBN: 9780387281834
Standard No.: 10.1007/0-387-28183-5 doi
Subject Headings:
Computer science.;
Logic design.;
Software engineering.;
Computer programming.;
Computer logic.;
Computers.;
Mathematical logic.;
Computer Science.;
Logics and Meanings of Programs.;
Mathematical Logic and Foundations.;
Logic Design.;
Programming Techniques.;
Software Engineering/Programming and Operating Systems.;
Models and Principles.;
Author Added Entry:
Wirsing, Martin.;
Crossley, John Newsome.;
Copy Details:
Acc. No.: EBK140, Full Call No.: , Item type: E books , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------

PKK Library

Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)