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

Certified Programming with Dependent Types

Adam Chlipala

Pocket

1079:-

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

Uppskattad leveranstid 7-11 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

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

    589:-
  4. bokomslag Les Emblmes Et Les Drapeaux De La France

    Les Emblmes Et Les Drapeaux De La France

    Arthur Maury

    Inbunden

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

    Les Emblmes Et Les Drapeaux De La France

    Arthur Maury

    Pocket

    429:-
  6. Ny
    bokomslag Femte kollusionen

    Femte kollusionen

    Denise Rudberg

    Inbunden

    259:- (299:-)
  7. bokomslag Computer Arithmetic and Formal Proofs

    Computer Arithmetic and Formal Proofs

    Sylvie Boldo

    Inbunden

    2269:-
  8. Ny
    bokomslag Födelsedagen

    Födelsedagen

    Sofie Sarenbrant • Carina Bergfeldt

    Pocket

    69:- (119:-)
  9. Ny
    bokomslag En ond tid

    En ond tid

    Deepti Kapoor

    Pocket

    69:- (119:-)
  10. bokomslag Pices parisiennes

    Pices parisiennes

    Anne-Cline Auch

    Pocket

    519:-