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

Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Fortell venner om denne varen:

Adam Chlipala
Certified Programming with Dependent Types Adam Chlipala

Name: Certified Programming with Dependent Types
Price: 609 NOK
Availability: OutOfStock
Author: Adam Chlipala

Pris

NOK 609

Bestillingsvarer

Forventes levert 21. - 29. okt

Få varsel om nye utgivelser fra Adam Chlipala

Kundene våre sier:

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

14 dages returrett

Toppvurdering på Trustpilot

Legg til iMusic ønskeliste

eller

Ikke vurdert ennå

Certified Programming with Dependent Types

Adam Chlipala

Media	Bøker Bok
Utgitt	7. juni 2022
ISBN13	9780262545747
Utgivere	MIT Press
Antall sider	436
Mål	150 × 220 × 20 mm · 680 g
Språk	Engelsk

Mer fra samme utgiver

Innbunden bok

A Mother's Brain: The New Scienc... (2026)
Susana Carmona

Slippes 6. oktober 2026
Bok

Logic in Games (2025)
Johan Van Benthem
Bok

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

Age of Electroacoustics (2025)
Roland Wittje
Bok

Human Information Interaction (2025)
Raya Fidel
Bok

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

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

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

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

Israel and the World Economy (2024)
Assaf Razin
Bok

Russian Cosmism (2024)
Boris Groys
Bok

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

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

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

Dynamic Allocation and Pricing (2024)
Alex Gershkov
Bok

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

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

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

Old Wheelways (2024)
Robert L. McCullough
Bok

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

WTO and Economic Development (2024)
Ben Zissimos
Bok

Mood and Mobility (2024)
Richard Coyne
Bok

Now the Chips Are Down (2024)
Alison Gazzard
Bok

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

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

Cognitive Biology (2024)
Luca Tommasi
Bok

Cultural Evolution (2024)
Peter J. Richerson
Bok

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

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

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

Capital Markets Union and Beyond (2024)
Franklin Allen
Bok

Immunological Bioinformatics (2024)
Ole Lund

Se alt med Adam Chlipala

Adam Chlipala Certified Programming with Dependent Types Adam Chlipala

Certified Programming with Dependent Types

Adam Chlipala

Mer fra samme **utgiver**

Adam Chlipala
Certified Programming with Dependent Types Adam Chlipala

Mer fra samme utgiver