thierry coquand

Grid   List

  1. Types for Proofs and Programs

    Ebook
    Sofort lieferbar

    This book constitutes the thoroughly refereed post-workshop proceedings of the Third Internationa...

    53,49 €
    Alle Preise inkl. MwSt
  2. Types for Proofs and Programs

    Taschenbuch
    Bezug 11-15

    This book contains a selection of papers presented at the third annual workshop of the Esprit Wor...

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1