Certified Programming with Dependent Types - Adam Chlipala - Böcker - MIT Press - 9780262545747 - 7 juni 2022

Om omslag och titel inte matchar är det titeln som gäller

Tipsa dina vänner om produkten:

Adam Chlipala
Certified Programming with Dependent Types Adam Chlipala

Name: Certified Programming with Dependent Types
Price: 779 SEK
Availability: OutOfStock
Author: Adam Chlipala

Pris

SEK 779

Beställningsvara

Förväntad leverans 19 aug - 2 sep

Få avisering om nya utgåvor med Adam Chlipala

Våra kunder säger:

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

14 dagars returrätt

Toppbetyg på Trustpilot

Lägg till din iMusic-önskelista

eller

Inte betygsatt ännu

Certified Programming with Dependent Types

Adam Chlipala

Media	Böcker Bok
Releasedatum	7 juni 2022
ISBN13	9780262545747
Utgivare	MIT Press
Antal sidor	436
Mått	150 × 220 × 20 mm · 680 g
Språk	Engelska

Mer från samma utgivare

Inbunden Bok

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

Releasedatum 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 ( t.ex. Bok )

Adam Chlipala Certified Programming with Dependent Types Adam Chlipala

Certified Programming with Dependent Types

Adam Chlipala

Mer från samma **utgivare**

Adam Chlipala
Certified Programming with Dependent Types Adam Chlipala

Mer från samma utgivare