Certified Programming with Dependent Types - Adam Chlipala - Kirjat - MIT Press - 9780262545747 - tiistai 7. kesäkuuta 2022

Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Vinkkaa tuotetta kavereillesi:

Adam Chlipala
Certified Programming with Dependent Types Adam Chlipala

Name: Certified Programming with Dependent Types
Price: 64.49 EUR
Availability: OutOfStock
Author: Adam Chlipala

Hinta

€ 64,49

Tilattu etävarastosta

Arvioitu toimitus ke 30. syys - to 8. loka

Saat ilmoituksen artistin Adam Chlipala uusista julkaisuista

Asiakkaamme sanovat:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14 päivän palautusoikeus

Huippuarvosana Trustpilotissa

Lisää iMusic-toivelistallesi

tai

Ei vielä arvioitu

Certified Programming with Dependent Types

Adam Chlipala

Media	Kirjat Book
Julkaisupäivämäärä	tiistai 7. kesäkuuta 2022
ISBN13	9780262545747
Tuottaja	MIT Press
Sivujen määrä	436
Mitta	150 × 220 × 20 mm · 680 g
Kieli	Englanti

Lisää samalta julkaisijalta

Book

Logic in Games (2025)
Johan Van Benthem
Book

Economic Growth, Second Edition (2025)
Robert J. Barro
Book

Age of Electroacoustics (2025)
Roland Wittje
Book

Human Information Interaction (2025)
Raya Fidel
Book

I'll Have What She's Having (2025)
R. Alexander Bentley
Book

You'll See This Message When It ... (2025)
Josephine Wolff
Book

State of Economics, the State of... (2025)
Kaushik Basu
Book

Log-Linear Models, Extensions, a... (2024)
Aleksandr Aravkin
Book

Israel and the World Economy (2024)
Assaf Razin
Book

Russian Cosmism (2024)
Boris Groys
Book

Handbook of Functional Neuroimag... (2024)
Roberto Cabeza
Book

Biological Clocks, Rhythms, and ... (2024)
Daniel B. Forger
Book

Advanced Topics in Types and Pro... (2024)
Benjamin C. Pierce
Book

Dynamic Allocation and Pricing (2024)
Alex Gershkov
Book

Natural History of Natural Theology (2024)
Helen De Cruz
Book

Architecting the Future Enterprise (2024)
Deborah J. Nightingale
Book

Consciousness, Attention, and Co... (2024)
Carlos Montemayor
Book

Old Wheelways (2024)
Robert L. McCullough
Book

Modeling Cities and Regions As C... (2024)
Roger White
Book

WTO and Economic Development (2024)
Ben Zissimos
Book

Mood and Mobility (2024)
Richard Coyne
Book

Now the Chips Are Down (2024)
Alison Gazzard
Book

Rock, Bone, and Ruin (2024)
Adrian Currie
Book

Brief History of the Verb to Be (2024)
Andrea Moro
Book

Cognitive Biology (2024)
Luca Tommasi
Book

Cultural Evolution (2024)
Peter J. Richerson
Book

Extraordinary Science and Psychi... (2024)
Jeffrey Poland
Book

Lives of the Laureates, Seventh ... (2024)
Roger W. Spencer
Book

Three Philosophical Poets : Lucr... (2024)
George Santayana
Book

Capital Markets Union and Beyond (2024)
Franklin Allen
Book

Immunological Bioinformatics (2024)
Ole Lund
Book

Mental Time Travel (2024)
Kourken Michaelian

Katso kaikki joka sisältää Adam Chlipala

Adam Chlipala Certified Programming with Dependent Types Adam Chlipala

Certified Programming with Dependent Types

Adam Chlipala

Lisää samalta julkaisijalta

Adam Chlipala
Certified Programming with Dependent Types Adam Chlipala