Kód: 02129535
Interactive Theorem Proving and Program Development
Autor Yves Bertot, P. Casteran, G. Huet, C. Paulin-Mohring
Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory.This book provide ... celý popis
- Jazyk:
Angličtina - Vazba: Pevná
- Počet stran: 472
Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004
- Více informací o knize
Mohlo by se vám také líbit
-
Ask and It is Given
319 Kč -
Lost Spells
325 Kč -
Guitar World
801 Kč -
Tokyo Revengers (Omnibus) Vol. 21-22
408 Kč -
Continuous Discovery Habits
334 Kč -
From Head to Toe
145 Kč -
Clash of Civilizations and the Remaking of World Order
325 Kč -
Building Microservices
1268 Kč -
Notes on Heartbreak
244 Kč -
Sketching from the Imagination
480 Kč -
In the Ruins of Neoliberalism
587 Kč -
Brambly Hedge: Festive Colouring Book
205 Kč -
What the Buddha Taught
301 Kč -
These Violent Delights Duet
630 Kč -
Layout Essentials Revised and Updated
616 Kč -
Captain Alatriste
248 Kč -
Type Theory and Formal Proof
2188 Kč -
Eastern Blocks: Volume II
689 Kč -
Effective Modern C++
1067 Kč -
The Guitar Handbook
645 Kč -
The Moomin Colouring Book
274 Kč -
How Big Things Get Done
481 Kč -
Seventeen Contradictions and the End of Capitalism
285 Kč -
Seirei Gensouki: Spirit Chronicles: Omnibus 9
519 Kč -
Interactive Theorem Proving and Program Development
1958 Kč -
Hypnosis
2537 Kč -
Invention and Innovation
658 Kč -
Inside-Out Revolution
292 Kč -
Monsters of Men
219 Kč -
Soled Out: The Golden Age of Sneaker Advertising
1304 Kč -
Pastoralia
248 Kč -
Lily, the Pond Mermaid
317 Kč -
Complete Guide to Machine Knitting: From the Thread to the Finished Garment
833 Kč -
Unfortunately Yours
309 Kč -
Hypnosis
247 Kč -
A Short History of Canada: Seventh Edition
419 Kč -
Fighters Across Frontiers
840 Kč -
Unfurl
325 Kč -
On the Resurrection, Volume 3
1274 Kč -
Deyrolle: French Botanical Art
408 Kč -
Basic Proof Theory
1505 Kč -
Lego train adventure rhyming story book: riding a Lego train
237 Kč -
Recollections of My Non-Existence
325 Kč -
Temporal Logics in Computer Science
3130 Kč -
Saint Mary of Egypt
510 Kč -
La Femme Fatale
423 Kč -
Data Visualization with Excel Dashboards and Reports
725 Kč -
Knife Defense Basics: Knife Training Methods and Techniques for Martial Artists
279 Kč -
Building Embedded Systems
1753 Kč -
Functionaly Safety of Machinery
2755 Kč -
Neuropsychedelia
2164 Kč -
Lacuna
341 Kč -
Poles in Wisconsin
241 Kč -
Adventures of Nio the Skunk: The Unknown
237 Kč -
The Wood Between the Worlds: A Poetic Theology of the Cross
442 Kč -
Student's Guide to the Navier-Stokes Equations
1568 Kč -
Cute Hand Lettering
318 Kč -
Functional Training for the Mind
358 Kč -
Mergent's Handbook of Common Stocks
2698 Kč -
Dance of the Serpents
244 Kč -
Drought Stress Tolerance in Plants, Vol 1
3532 Kč -
Walking Dead Ruled Journal
403 Kč -
Interactive Technologies and Sociotechnical Systems
1350 Kč -
Emir Kusturica
1040 Kč -
Seamless Patterns: Adult Coloring Book: Stress Relieving Patterns
154 Kč -
Think Like the Greats
373 Kč -
Political Companion to Walt Whitman
791 Kč -
Relentless: 12 Rounds to Success
597 Kč -
The Good Ship Earth: A Survey Of World Problems (1913)
903 Kč -
Inclusive Teaching in the Early Childhood Science Classroom
1475 Kč -
Interactive Theorem Proving
1350 Kč -
Interactive Video
2357 Kč -
Essential Guide to Critical Development Studies
1475 Kč -
Interactive Theorem Proving
2675 Kč -
Across the Isthmus to California in '52
287 Kč -
Practical Guide to Laryngeal Framework Surgery
3379 Kč -
Worcester Academy; Its Locations and Its Principals, 1834-1882
707 Kč -
Diseases of the Brain, Head & Neck, Spine
2303 Kč -
History of Italian Fertility During the Last Two Centuries
1695 Kč -
Seasonings
469 Kč -
History of the Insurance Company of North America of Philadelphia
449 Kč -
Protestant Identity and Peace in Northern Ireland
1350 Kč -
Interactive Theorem Proving
1350 Kč -
Presley's Reading Log
191 Kč
Dárkový poukaz: Radost zaručena
- Darujte poukaz v libovolné hodnotě a my se postaráme o zbytek.
- Poukaz se vztahuje na celou naši nabídku.
- Elektronický poukaz vytisknete z e-mailu a můžete ihned darovat.
- Platnost poukazu je 12 měsíců od data vystavení.
Více informací o knize Interactive Theorem Proving and Program Development
Nákupem získáte 276 bodů
Anotace knihy
Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory.This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
Parametry knihy
Zařazení knihy Knihy v angličtině Mathematics & science Mathematics Mathematical foundations
2762 Kč
- Plný název: Interactive Theorem Proving and Program Development
- Podnázev: Coq'Art: The Calculus of Inductive Constructions
- Autor: Yves Bertot, P. Casteran, G. Huet, C. Paulin-Mohring
- Jazyk: Angličtina
- Vazba: Pevná
- Počet stran: 472
- EAN: 9783540208549
- ISBN: 3540208542
- ID: 02129535
- Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Hmotnost: 912 g
- Rozměry: 239 × 163 × 36 mm
- Datum vydání: 14. May 2004
Oblíbené z jiného soudku
-
Set Theory and the Continuum Hypothesis
256 Kč -
Illustrated Book of Bad Arguments
312 Kč -
Alan Turing's Systems of Logic
358 Kč -
Goedel's Proof
303 Kč -
Logic: A Very Short Introduction
225 Kč -
Introduction to Logic and to the Methodology of Deductive Sciences
279 Kč -
Proofs and Refutations
489 Kč -
Category Theory in Context
568 Kč -
Can You Solve My Problems?
248 Kč -
Foundation Maths
1651 Kč -
Set Theory and Logic
402 Kč -
Introduction to Logic
274 Kč -
Set Theory
4707 Kč -
Philosophical Applications of Modal Logic
847 Kč -
How to Read and Do Proofs - An Introduction to Mathematical Thought Processes, Sixth Edition
2088 Kč -
Set Theory, Logic and their Limitations
1475 Kč -
Goedel's Proof
1612 Kč -
To Mock a Mockingbird: and Other Logic Puzzles
338 Kč -
Model Theory
567 Kč -
First-order Logic
194 Kč -
Conceptual Mathematics
1565 Kč -
Beginner's Guide to Mathematical Logic
467 Kč -
Problem-solving Strategies In Mathematics: From Common Approaches To Exemplary Strategies
584 Kč -
Foundations of Mathematics and Other Logical Essays
405 Kč -
Introduction to Mathematical Logic
489 Kč -
Math Mammoth Grade 4-B Worktext
478 Kč -
Contributions to the Founding of the Theory of Transfinite Numbers
297 Kč -
Lambda-Calculus and Combinators
2101 Kč -
Categories for Types
2097 Kč -
Limitless Mind
414 Kč -
Naive Set Theory
248 Kč -
Foundations of Geometry
228 Kč -
Topoi
489 Kč -
Set Theory
589 Kč -
Naive Set Theory
228 Kč -
Categories for the Working Mathematician
1551 Kč -
Taking Sudoku Seriously
810 Kč -
Undecidable Theories
256 Kč -
Beginner's Further Guide To Mathematical Logic, A
584 Kč -
Sets for Mathematics
1565 Kč -
Naive Set Theory
239 Kč -
Algebraic Logic
274 Kč -
Haskell Road to Logic, Maths and Programming
576 Kč -
Gödel's Incompleteness Theorems
1269 Kč -
From Frege to Goedel
1314 Kč -
Lattice Theory: Foundation
1866 Kč -
Handbook of Epistemic Logic
682 Kč -
Axiomatic Set Theory
363 Kč -
Computability and Logic
991 Kč
O tomto obchodě
Nákupní rádce
Přehledy
Knihy podle jazyka
Osobní odběr Praha, Brno a 46945 dalších
Copyright ©2008-26 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Vrácení do měsíce
571 999 099 (8-15.30h)