World of Digitals
millions of ebooks since 2011

  • Catalog
  • Account
  • Info
    • Privacy Policy
    • Cookie Policy
    • Terms
    • Disclaimer
    • About

Author: Jean-Christophe Filliatre

Support

1 Ebooks by Jean-Christophe Filliatre

Cover of Jean-Christophe Filliatre & Christine Paulin-Mohring: Types for Proofs and Programs
Jean-Christophe Filliatre & Christine Paulin-Mohring: Types for Proofs and Programs
…
PDF
English
DRM
€57.85

placeholder
Continue

placeholder
Continue

placeholder
Continue

Change user language

Arabic
German
English
Spanish
French
Hindi
Indonesian
Italian
Malay
Dutch
Polish
Portuguese
Romanian
Russian
Swedish
Thai
Turkish
Ukrainian
Vietnamese
Chinese
International

Modal

<<< go back Continue