cam a22 4500 277844908 CHVBK 20201021195556.0 130818s2005 xxu||||| |||| 00 |eng d 0-387-23759-3 http://catalogue.bnf.fr/ark:/12148/cb40224636v uri (RERO)R003963950 (NEBIS)004988176 RERO frbcuc s1ma rero Poernomo Iman Hafiz (IDREF)099528231 cre Adapting proofs-as-programs the Curry-Howard protocol Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing New York Springer [2005] © 2005 XI, 420 p. ill. 24 cm Monographs in computer science Théorie de la démonstration (RERO)A021041825 rero Types abstraits de données (informatique) (RERO)A021034775 rero Programmation fonctionnelle (informatique) (RERO)A021036612 rero Lambda-calcul (RERO)A021011164 rero Logiciels (RERO)A021065168 rero Développement (RERO)A021028165 rero Computer science Logic design Logic, Symbolic and mathematical Software engineering ALGEBRAISCHE SPEZIFIKATION (THEORIE DER PROGRAMMIERUNG) ger (ETHUDK)000046086 ethudk SPEZIFIKATIONEN (SOFTWARE ENGINEERING) ger (ETHUDK)000013698 ethudk u SPEZIFIKATIONEN (SOFTWARE ENGINEERING) ger 004*04*04*02 nebis E1 u ALGEBRAISCHE SPEZIFIKATION (THEORIE DER PROGRAMMIERUNG) ger 004*04*02*01 nebis E1 u SPÉCIFICATIONS + CONCEPTS DE PROGRAMMATION (GÉNIE LOGICIEL) fre 004*04*04*02 nebis E1 u SPECIFICATIONS (SOFTWARE ENGINEERING) eng 004*04*04*02 nebis E1 u SPECIFICATION ALGEBRIQUE (THÉORIE DE LA PROGRAMMATION) fre 004*04*02*01 nebis E1 u ALGEBRAIC SPECIFICATION (THEORY OF PROGRAMMING) eng 004*04*02*01 nebis E1 Crossley John N. (IDREF)081808828 Wirsing Martin 1948- (IDREF)076307174 Monographs in computer science Springer (RERO)002277022 BK020000 XK020000 XK020000 094 E01-20060306 RERO RE01046 RE01046 RE010460003 DIUF 1.6.5 TIB 2835 NEBIS E30 E30 E30BI NEZ 210 NEBIS E30 E30 E30BI NEZ 210: EX.2 NEBIS E01 E01 MG 785850 RERO 100 1- Poernomo Iman Hafiz (IDREF)099528231 cre RERO 490 1- Monographs in computer science RERO 700 1- Crossley John N. (IDREF)081808828 RERO 700 1- Wirsing Martin 1948- (IDREF)076307174 RERO 830 -- Monographs in computer science Springer (RERO)002277022 NEBIS 490 -- Monographs in computer science NEBIS 700 1- Poernomo Iman Hafiz NEBIS 700 1- Crossley John N. NEBIS 700 1- Wirsing Martin 1948- (DE-588)14353582X NEBIS EAD50 EBI01 E01 https://opac.nebis.ch/objects/pdf/000126890_e01_0387237593_02.pdf Abstract / Autoreninformation VIEW pdf SWISSBIB 277844908