Certified Programming with Dependent Types - Adam Chlipala - 書籍 - MIT Press - 9780262545747 - 2022年6月7日

カバー画像とタイトルが一致しない場合、正しいのはタイトルです

この商品を友人に教える:

Adam Chlipala
Certified Programming with Dependent Types Adam Chlipala

Name: Certified Programming with Dependent Types
Price: 10057 JPY
Availability: OutOfStock
Author: Adam Chlipala

価格

¥ 10.057

税抜

遠隔倉庫からの取り寄せ

発送予定日年11月5日 - 年11月17日

Adam Chlipala の新しいリリースのお知らせを受け取る

お客様の声：

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

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

まだ評価がありません

Certified Programming with Dependent Types

Adam Chlipala

メディア	書籍 Book
リリース済み	2022年6月7日
ISBN13	9780262545747
出版社	MIT Press
ページ数	436
寸法	150 × 220 × 20 mm · 680 g
言語	英語

同じ出版社からのその他の記事

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

Adam Chlipalaのすべてを見る

Adam Chlipala Certified Programming with Dependent Types Adam Chlipala

Certified Programming with Dependent Types

Adam Chlipala

同じ出版社からのその他の記事

Adam Chlipala
Certified Programming with Dependent Types Adam Chlipala