Code: 02129635
Interactive Theorem Proving and Program Development
by Yves Bertot, Pierre Castéran, G. Huet, C. Paulin-Mohring
A practical introduction to the development of proofs and certified programs using Coq. §An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software. ... more
- Language:
English - Binding: Paperback
- Number of pages: 472
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010
- More about this
You might also like
-
Berserk Deluxe Volume 7
54.87 € -
Frieren: Beyond Journey's End, Vol. 1
9.10 € -30 % -
Scum Villain's Self-Saving System: Ren Zha Fanpai Zijiu Xitong (Novel) Vol. 1
14.37 € -33 % -
Art of Noticing
16.19 € -28 % -
Delicious in Dungeon, Vol. 1
13.26 € -24 % -
Outwitting the Devil: The Complete Text, Reproduced from Napoleon Hill's Original Manuscript, Including Never-Before-Published Content
13.46 € -24 % -
Field Guide to Mammals of Europe, North Africa and the Middle East
28.65 € -24 % -
Infinite Powers
12.24 € -22 % -
Moriarty the Patriot, Vol. 11
7.89 € -25 % -
The Good Karma Tarot
17.71 € -27 % -
How to Set Up an Flr
22.57 € -7 % -
Cambridge Advanced Learner's Dictionary
38.17 € -
Rust For Rustaceans
34.62 € -28 % -
Torch Against the Night
9.31 € -30 % -
Tales from the Loop
27.03 € -22 % -
Creativity, Inc.
17.61 € -30 % -
RaW Hero, Vol. 1
13.15 € -13 % -
Computer Networks, Global Edition
108.44 € -
If I Had Your Face
13.46 € -24 % -
Grumpy Monkey Freshly Squeezed
8.60 € -24 % -
Prisma
25.10 € -
Programming in Haskell
43.74 € -5 % -
House of Flowers
28.65 € -23 % -
Type Theory and Formal Proof
95.18 € -
Nevernight
10.32 € -28 % -
Merriam-Webster Visual Dictionary
31.99 € -25 % -
Dare to Sketch
18.32 € -24 % -
Writing A C Compiler: Build a Real Programming Language from Scratch
49.30 € -24 % -
Making Bead Flowers and Bouquets
9.91 € -25 % -
Fence Vol. 1
8.19 € -25 % -
The Anne of Green Gables Devotional: A Chapter-By-Chapter Companion for Kindred Spirits
12.75 € -25 % -
If on a Winter's Night a Traveller
19.94 € -12 % -
What to Do When You're Having Two
14.88 € -24 % -
Practical Engine Airflow
30.47 € -18 % -
English Medieval Embroidery
38.77 € -
Poker Satellite Strategy
21.76 € -24 % -
Mary Shelley Horror Stories
22.77 € -20 % -
Pain is Really Strange
11.33 € -24 % -
Lambda Calculus. Its Syntax and Semantics
29.86 € -10 % -
Einstein's Fridge
14.27 € -1 % -
Let Over Lambda
39.28 € -
STDS9 & THE USS DEFIANT ILLU HNDBK
25.31 € -26 % -
Toussaint Louverture: The Story of the Only Successful Slave Revolt in History
18.12 € -15 % -
Enneagram Essentials: 125 Cards for Self-Awareness and Connection
16.29 € -32 % -
Age of Cryptocurrency
15.38 € -23 % -
Christian Louboutin
120.49 € -24 % -
Yoga Therapy for Children with Autism and Special Needs
33.91 € -
GM Turbo 350 Transmissions
25.10 € -25 % -
Beginning x64 Assembly Programming
32.09 € -24 % -
Types and Programming Languages
104.59 € -12 % -
Death by Water
13.05 € -29 % -
Designing Software Architectures
50.92 € -1 % -
Meditation for Beginners
12.75 € -25 % -
Imagine You Are An Aluminum Atom
16.90 € -24 % -
The Anatomy Coloring Book: A Complete Study Guide (9th Edition)
8.19 € -7 % -
Royal Navy 1793-1815
20.55 € -14 % -
Walden & Civil Disobedience
10.01 € -24 % -
Last Great Mountain: The First Ascent of Kangchenjunga
19.33 € -
The Lords of Discipline
14.88 € -24 % -
Ethereum for Business: A Plain-English Guide to the Use Cases That Generate Returns from Asset Management to Payments to Supply Chains
16.19 € -17 % -
Cadillac CTS Automotive Repair Manual
44.85 € -9 % -
Four Pillars of Geometry
55.89 € -
An Introduction to Classical and Modal Logics
34.62 € -
Lambda Calculus with Types
104.59 € -
Ignite English: Student Book 3
27.84 € -
Everyday Grace
13.46 € -24 % -
Investing in Hedge Funds
26.52 € -24 % -
Hot and Steamy Volume 2 (Hentai Manga)
16.70 € -9 % -
Made In Poland
21.15 € -7 % -
Harry Potter: Feasts & Festivities: An Official Book of Magical Celebrations, Crafts, and Party Food Inspired by the Wizarding World
31.28 € -9 % -
Proof Theory
18.22 € -25 % -
Younger
28.14 € -20 % -
Discrete Mathematics and Graph Theory
28.65 € -
Basic Proof Theory
65.51 € -
Box T Air Power: The Aviation Art of Model Airplane Boxes
21.96 € -26 % -
Understanding Central Europe
65.91 € -
Adventures of Sinbad the Sailor
8.90 € -
Chinese Girls: Hot Sexy Chinese Lingerie Girls Models Pictures
14.88 € -7 % -
Die verrückte Geschichte der Welt
12.85 € -
Programming with Types
61.35 € -4 % -
Lionel Messi (Real Bios)
6.57 € -24 % -
Armenian History
14.77 € -25 % -
The Other Miss Bridgerton: A Bridgerton Prequel
18.32 € -24 % -
Adobe InDesign CC Classroom in a Book (2019 Release)
52.44 €
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Interactive Theorem Proving and Program Development
You get 231 loyalty points
Book synopsis
A practical introduction to the development of proofs and certified programs using Coq. §An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
Book details
Book category Books in English Mathematics & science Mathematics Mathematical foundations
95.68 €
- Full title: Interactive Theorem Proving and Program Development
- Subtitle: Coq'Art: The Calculus of Inductive Constructions
- Author: Yves Bertot, Pierre Castéran, G. Huet, C. Paulin-Mohring
- Language: English
- Binding: Paperback
- Number of pages: 472
- EAN: 9783642058806
- ISBN: 3642058809
- ID: 02129635
- Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Weight: 748 g
- Dimensions: 235 × 155 × 26 mm
- Date of publishing: 01. December 2010
Trending among others
-
Introduction to Logic and to the Methodology of Deductive Sciences
12.04 € -
Goedel's Proof
13.46 € -24 % -
To Mock a Mockingbird: and Other Logic Puzzles
14.47 € -24 % -
Logic: A Very Short Introduction
10.01 € -24 % -
Proofs and Refutations
21.05 € -24 % -
Conceptual Mathematics
68.14 € -
Beginner's Guide to Mathematical Logic
18.22 € -25 % -
Introduction to Mathematical Logic
21.66 € -25 % -
Categories for Types
91.33 € -
Contributions to the Founding of the Theory of Transfinite Numbers
12.85 € -
Limitless Mind
16.90 € -25 % -
Elements of Mathematics
23.79 € -2 % -
Teaching Multiplication Using LEGO(R) Bricks
19.63 € -7 % -
On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems
20.95 € -
Set Theory
25.81 € -9 % -
Naive Set Theory
9.81 € -
Taking Sudoku Seriously
35.03 € -
Sets for Mathematics
68.14 € -
Naive Set Theory
10.32 € -
From Frege to Goedel
60.34 € -
Lattice Theory: Special Topics and Applications
109.45 € -
Model Theory : An Introduction
63.48 € -
Schaum's Outline of Boolean Algebra and Switching Circuits
24.50 € -17 % -
Model Theory
25.10 € -25 % -
Foundations of Mathematics and Other Logical Essays
17.51 € -
First-order Logic
8.60 € -24 % -
Problem-solving Strategies In Mathematics: From Common Approaches To Exemplary Strategies
25.31 € -
Naive Set Theory
11.84 € -25 % -
Category Theory in Context
25.10 € -25 % -
Math Mammoth Grade 4-B Worktext
21.15 € -25 % -
Lambda-Calculus and Combinators
91.33 € -
Illustrated Book of Bad Arguments
12.75 € -24 % -
Can You Solve My Problems?
11.84 € -25 % -
Foundations of Geometry
9.81 € -
Foundation Maths
70.77 € -
Topoi
21.56 € -25 % -
Categories for the Working Mathematician
67.53 € -
Undecidable Theories
11.33 € -24 % -
Beginner's Further Guide To Mathematical Logic, A
25.31 € -
Algebraic Logic
11.33 € -15 % -
Set Theory and the Continuum Hypothesis
11.33 € -24 % -
Haskell Road to Logic, Maths and Programming
25.20 € -10 % -
Mathematical Logic
80.59 € -
Gödel's Incompleteness Theorems
60.75 € -
Lattice Theory: Foundation
80.29 € -
Handbook of Epistemic Logic
29.86 € -10 % -
Introduction to Modern Set Theory
11.33 € -
Axiomatic Set Theory
12.75 € -24 % -
Computability and Logic
43.03 €
Shopping guide
Books by language
Collection points Bratislava a 12742 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25488 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)