Certified Programming with Dependent Types - Adam Chlipala - Bøger - MIT Press - 9780262545747 - 7. juni 2022

Ved uoverensstemmelse mellem cover og titel gælder titel

Fortæl dine venner om denne vare:

Adam Chlipala
Certified Programming with Dependent Types Adam Chlipala

Name: Certified Programming with Dependent Types
Price: 530 DKK
Availability: OutOfStock
Author: Adam Chlipala

Pris

DKK 530

Bestilles fra fjernlager

Forventes klar til forsendelse 17. - 23. sep.

Modtag notifikation om nye Adam Chlipala udgivelser

Vores kunder siger:

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

14 dages fuld returret

Topvurdering på Trustpilot

Tilføj til din iMusic ønskeseddel

eller

Ikke bedømt endnu

Certified Programming with Dependent Types

Adam Chlipala

Medie	Bøger Bog
Udgivet	7. juni 2022
ISBN13	9780262545747
Forlag	MIT Press
Antal sider	436
Mål	150 × 220 × 20 mm · 680 g
Sprog	Engelsk

Mere med samme udgiver

Bog

Logic in Games (2025)
Johan Van Benthem
Bog

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

Age of Electroacoustics (2025)
Roland Wittje
Bog

Human Information Interaction (2025)
Raya Fidel
Bog

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

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

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

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

Israel and the World Economy (2024)
Assaf Razin
Bog

Russian Cosmism (2024)
Boris Groys
Bog

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

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

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

Dynamic Allocation and Pricing (2024)
Alex Gershkov
Bog

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

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

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

Old Wheelways (2024)
Robert L. McCullough
Bog

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

WTO and Economic Development (2024)
Ben Zissimos
Bog

Mood and Mobility (2024)
Richard Coyne
Bog

Now the Chips Are Down (2024)
Alison Gazzard
Bog

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

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

Cognitive Biology (2024)
Luca Tommasi
Bog

Cultural Evolution (2024)
Peter J. Richerson
Bog

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

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

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

Capital Markets Union and Beyond (2024)
Franklin Allen
Bog

Immunological Bioinformatics (2024)
Ole Lund
Bog

Mental Time Travel (2024)
Kourken Michaelian

Se alt med Adam Chlipala

Adam Chlipala Certified Programming with Dependent Types Adam Chlipala

Certified Programming with Dependent Types

Adam Chlipala

Mere med samme udgiver

Adam Chlipala
Certified Programming with Dependent Types Adam Chlipala