Certified Programming with Dependent Types - Adam Chlipala - Bücher - MIT Press - 9780262545747 - 7. Juni 2022

Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Freunden von diesem Artikel berichten:

Adam Chlipala
Certified Programming with Dependent Types Adam Chlipala

Name: Certified Programming with Dependent Types
Price: 53.49 CHF
Availability: OutOfStock
Author: Adam Chlipala

Preis

SFr. 53,49

exkl. MwSt.

Bestellware

Lieferdatum: ca. 8. - 16. Okt

Benachrichtigungen über neue Veröffentlichungen von Adam Chlipala erhalten

Unsere Kunden sagen:

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

14-Tage-Rückgaberecht

Topbewertung bei Trustpilot

Zu deiner iMusic Wunschliste hinzufügen

Noch nicht bewertet

Certified Programming with Dependent Types

Adam Chlipala

Medien	Bücher Buch
Erscheinungsdatum	7. Juni 2022
ISBN13	9780262545747
Verlag	MIT Press
Seitenanzahl	436
Maße	150 × 220 × 20 mm · 680 g
Sprache	Englisch

Mehr vom selben Verlag

Buch

Logic in Games (2025)
Johan Van Benthem
Buch

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

Age of Electroacoustics (2025)
Roland Wittje
Buch

Human Information Interaction (2025)
Raya Fidel
Buch

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

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

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

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

Israel and the World Economy (2024)
Assaf Razin
Buch

Russian Cosmism (2024)
Boris Groys
Buch

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

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

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

Dynamic Allocation and Pricing (2024)
Alex Gershkov
Buch

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

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

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

Old Wheelways (2024)
Robert L. McCullough
Buch

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

WTO and Economic Development (2024)
Ben Zissimos
Buch

Mood and Mobility (2024)
Richard Coyne
Buch

Now the Chips Are Down (2024)
Alison Gazzard
Buch

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

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

Cognitive Biology (2024)
Luca Tommasi
Buch

Cultural Evolution (2024)
Peter J. Richerson
Buch

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

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

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

Capital Markets Union and Beyond (2024)
Franklin Allen
Buch

Immunological Bioinformatics (2024)
Ole Lund
Buch

Mental Time Travel (2024)
Kourken Michaelian

Alle Titel von Adam Chlipala ansehen

Adam Chlipala Certified Programming with Dependent Types Adam Chlipala

Certified Programming with Dependent Types

Adam Chlipala

Mehr vom selben Verlag

Adam Chlipala
Certified Programming with Dependent Types Adam Chlipala