Certified Programming with Dependent Types 1
bokomslag Certified Programming with Dependent Types
Data & IT

Certified Programming with Dependent Types

Adam Chlipala

Pocket

1119:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

  • 440 sidor
  • 2022
  • Författare: Adam Chlipala
  • Format: Pocket/Paperback
  • ISBN: 9780262545747
  • Språk: Engelska
  • Antal sidor: 440
  • Utgivningsdatum: 2022-06-07
  • Förlag: MIT Press

Du kanske gillar

  1. bokomslag Certified Programming with Dependent Types

    Certified Programming with Dependent ...

    Adam Chlipala

    Inbunden

    909:-
  2. bokomslag Les Auteurs Grecs Expliqus d'Aprs Une Mthode Nouvelle Par Deux Traductions Franaises

    Les Auteurs Grecs Expliqus d'Aprs Une...

    Lucien De Samosate

    Pocket

    259:-
  3. bokomslag Burgund

    Burgund

    Hilke Maunder

    599:-
  4. bokomslag Mitochondrial Dysfunction in Biological Aging and Cancer

    Mitochondrial Dysfunction in Biologic...

    S Prakash

    Pocket

    299:-
  5. bokomslag Les Emblmes Et Les Drapeaux De La France

    Les Emblmes Et Les Drapeaux De La France

    Arthur Maury

    Inbunden

    599:-
  6. bokomslag Computer Arithmetic and Formal Proofs

    Computer Arithmetic and Formal Proofs

    Sylvie Boldo

    Inbunden

    2349:-
  7. bokomslag Interactive Theorem Proving and Program Development

    Interactive Theorem Proving and Progr...

    Pierre Castran Yves Bertot

    Pocket

    1229:-
  8. bokomslag Interactive Theorem Proving and Program Development

    Interactive Theorem Proving and Progr...

    Pierre Castran Yves Bertot

    Inbunden

    1669:-
  9. bokomslag Mitochondrial Dysfunction in Biological Aging and Cancer

    Mitochondrial Dysfunction in Biologic...

    S Prakash

    Inbunden

    469:-
  10. bokomslag Paris - Je t'aime - Das Frankreich-Kochbuch

    Paris - Je t'aime - Das Frankreich-Ko...

    Svenja Mattner-Shahi Britta Welzer

    549:-