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 )
QA76.9.L63 QA76.5913 QA76.63
- Monographs in Computer Science, .
ISBN: 9780387281834
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: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------