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

    739:-
  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

    269:-
  3. bokomslag Burgund

    Burgund

    Hilke Maunder

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

    Mitochondrial Dysfunction in Biologic...

    S Prakash

    Pocket

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

    Les Emblmes Et Les Drapeaux De La France

    Arthur Maury

    Inbunden

    619:-
  6. bokomslag Skinn

    Skinn

    Sara Strömberg

    Pocket

    69:- (119:-)
  7. bokomslag Computer Arithmetic and Formal Proofs

    Computer Arithmetic and Formal Proofs

    Sylvie Boldo

    Inbunden

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

    Interactive Theorem Proving and Progr...

    Pierre Castran Yves Bertot

    Pocket

    1209:-
  9. Pranklåda Yumi & Tomu

    Pranklåda Yumi & Tomu

    Pranklåda , Kärnan

    299:- (399:-)
  10. bokomslag Interactive Theorem Proving and Program Development

    Interactive Theorem Proving and Progr...

    Pierre Castran Yves Bertot

    Inbunden

    1649:-