Catalog

Record Details

Catalog Search

[ 2 filters applied ]

Back To Results
Showing Item 1 of 1
Adapting Proofs-as-Programs The Curry-Howard Protocol Cover Image E-book E-book

Adapting Proofs-as-Programs The Curry-Howard Protocol

Poernomo, Iman Hafiz. (author.). Wirsing, Martin. (author.). Crossley, John Newsome. (author.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9780387281834
  • Physical Description: electronic
    electronic resource
    access
    remote
    XII, 420 p. online resource.
  • Publisher: New York, NY : Springer New York, 2005.

Search for related items by subject

Subject: Computer science
Logic design
Software engineering
Logic, Symbolic and mathematical
Computer Science
Logics and Meanings of Programs
Mathematical Logic and Foundations
Logic Design
Programming Techniques
Software Engineering/Programming and Operating Systems
Models and Principles

Search for related items by series

Electronic resources

Texto completo

► Awards, Reviews, & Suggested Reads
► Shelf Browser
▼ MARC Record
LDR 01931nam a22005295i 4500
0018633
003CONS
00520131219224449.0
007cr nn 008mamaa
008100301s2005 xxu| s |||| 0|eng d
020 . ‡a9780387281834 ‡9978-0-387-28183-4
0247 . ‡a10.1007/0-387-28183-5 ‡2doi
035 . ‡a(DE-He213)978-0-387-28183-4
050 4. ‡aQA76.9.L63
050 4. ‡aQA76.5913
050 4. ‡aQA76.63
072 7. ‡aUM ‡2bicssc
072 7. ‡aUYF ‡2bicssc
072 7. ‡aCOM051000 ‡2bisacsh
072 7. ‡aCOM036000 ‡2bisacsh
1001 . ‡aPoernomo, Iman Hafiz. ‡eauthor.
24510. ‡aAdapting Proofs-as-Programs ‡h[electronic resource] : ‡bThe Curry-Howard Protocol / ‡cby Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley.
264 1. ‡aNew York, NY : ‡bSpringer New York, ‡c2005.
300 . ‡aXII, 420 p. ‡bonline resource.
336 . ‡atext ‡btxt ‡2rdacontent
337 . ‡acomputer ‡bc ‡2rdamedia
338 . ‡aonline resource ‡bcr ‡2rdacarrier
347 . ‡atext file ‡bPDF ‡2rda
4901 . ‡aMonographs in Computer Science, ‡x0172-603X
650 0. ‡aComputer science.
650 0. ‡aLogic design.
650 0. ‡aSoftware engineering.
650 0. ‡aLogic, Symbolic and mathematical.
65014. ‡aComputer Science.
65024. ‡aLogics and Meanings of Programs.
65024. ‡aMathematical Logic and Foundations.
65024. ‡aLogic Design.
65024. ‡aProgramming Techniques.
65024. ‡aSoftware Engineering/Programming and Operating Systems.
65024. ‡aModels and Principles.
7001 . ‡aWirsing, Martin. ‡eauthor.
7001 . ‡aCrossley, John Newsome. ‡eauthor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9780387237596
830 0. ‡aMonographs in Computer Science, ‡x0172-603X
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/0-387-28183-5 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a8633 ‡b ‡c8633 ‡tbiblio ‡sSystem Local
Back To Results
Showing Item 1 of 1

Additional Resources