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
85.62 €
RRP: 94.84 €
You save 9.22 €
In stock at our supplier
Shipping in 5 - 8 days
You might also like
-
Berserk Deluxe Volume 7
55.19 € -
Scum Villain's Self-Saving System: Ren Zha Fanpai Zijiu Xitong (Novel) Vol. 1
15.36 € -28 % -
Demon Copperhead
8.58 € -30 % -
Merriam-Webster Visual Dictionary
31.94 € -25 % -
RaW Hero, Vol. 1
13.13 € -13 % -
English Medieval Embroidery
29.61 € -20 % -
Frieren: Beyond Journey's End, Vol. 1
9.90 € -23 % -
Outwitting the Devil
13.44 € -24 % -
Nevernight
10.30 € -28 % -
Cambridge Advanced Learner's Dictionary
38.10 € -
Delicious in Dungeon, Vol. 1
13.44 € -23 % -
Creativity, Inc.
18.79 € -27 % -
Dare to Sketch
18.29 € -24 % -
Field Guide to Mammals of Europe, North Africa and the Middle East
28.60 € -24 % -
Art of Noticing
16.27 € -29 % -
Rust For Rustaceans
35.27 € -29 % -
Moriarty the Patriot, Vol. 11
7.88 € -25 % -
Torch Against the Night
9.29 € -30 % -
Tales from the Loop
27.08 € -21 % -
The Good Karma Tarot
17.68 € -27 % -
Making Bead Flowers and Bouquets
9.90 € -25 % -
Let Over Lambda
39.21 € -
Financial Crime Compliance: A Handbook for the Detection, Prevention and Investigation of Financial Crime
35.47 € -24 % -
Type Theory and Formal Proof
95.02 € -
Imagine You Are An Aluminum Atom
16.87 € -24 % -
How to Set Up an Flr
22.53 € -7 % -
Discrete Mathematics and Graph Theory
28.60 € -
Box T Air Power: The Aviation Art of Model Airplane Boxes
21.93 € -26 % -
Infinite Powers
12.22 € -22 % -
Computer Networks, Global Edition
87.13 € -14 % -
If I Had Your Face
13.44 € -24 % -
Writing A C Compiler: Build a Real Programming Language from Scratch
48.82 € -29 % -
If on a Winter's Night a Traveller
19.80 € -14 % -
The Anne of Green Gables Devotional: A Chapter-By-Chapter Companion for Kindred Spirits
12.73 € -25 % -
My Friends
22.03 € -17 % -
Fence Vol. 1
7.67 € -29 % -
Prisma
25.06 € -
Programming in Haskell
47.40 € -3 % -
Parisian Chic Look Book
21.02 € -
House of Flowers
26.38 € -25 % -
Grumpy Monkey Freshly Squeezed
8.58 € -30 % -
Lambda Calculus. Its Syntax and Semantics
29.81 € -10 % -
Einstein's Fridge
14.24 € -
Toussaint Louverture: The Story of the Only Successful Slave Revolt in History
18.19 € -25 % -
Enneagram Essentials: 125 Cards for Self-Awareness and Connection
20.11 € -16 % -
Age of Cryptocurrency
14.95 € -25 % -
Christian Louboutin
112.31 € -29 % -
What to Do When You're Having Two
14.85 € -24 % -
Practical Engine Airflow
30.42 € -18 % -
GM Turbo 350 Transmissions
25.06 € -25 % -
Beginning x64 Assembly Programming
32.04 € -24 % -
Yoga Therapy for Children with Autism and Special Needs
30.92 € -5 % -
Types and Programming Languages
104.32 € -12 % -
Death by Water
12.93 € -30 % -
Designing Software Architectures
50.84 € -1 % -
Poker Satellite Strategy
21.73 € -24 % -
Mary Shelley Horror Stories
22.53 € -16 % -
Pain is Really Strange
11.31 € -24 % -
Meditation for Beginners
12.73 € -25 % -
Beyond the Trees: A Journey Alone Across Canada's Arctic
12.73 € -25 % -
The Anatomy Coloring Book: A Complete Study Guide (9th Edition)
8.18 € -7 % -
Royal Navy 1793-1815
20.51 € -14 % -
Walden & Civil Disobedience
10 € -24 % -
Last Great Mountain: The First Ascent of Kangchenjunga
19.30 € -
The Lords of Discipline
14.85 € -24 % -
Ethereum for Business: A Plain-English Guide to the Use Cases That Generate Returns from Asset Management to Payments to Supply Chains
16.17 € -17 % -
Hot and Steamy Volume 2 (Hentai Manga)
16.67 € -9 % -
STDS9 & THE USS DEFIANT ILLU HNDBK
25.26 € -26 % -
Nature of Computation
125.95 € -
Cadillac CTS Automotive Repair Manual
44.37 € -10 % -
Four Pillars of Geometry
40.43 € -9 % -
An Introduction to Classical and Modal Logics
34.56 € -
Ignite English: Student Book 3
27.79 € -
Visions of the Pylons
30.22 € -22 % -
Everyday Grace
13.44 € -24 % -
Lambda Calculus with Types
104.42 € -
Investing in Hedge Funds
26.48 € -24 % -
Goerner The Mighty
11.51 € -6 % -
Made In Poland
21.12 € -7 % -
Proof Theory
18.19 € -25 % -
Harry Potter: Feasts & Festivities: An Official Book of Magical Celebrations, Crafts, and Party Food Inspired by the Wizarding World
31.23 € -9 % -
To Hell on a Bike
13.94 € -24 % -
Basic Proof Theory
65.40 € -
Younger
26.78 € -19 % -
Understanding Central Europe
68.53 € -
Adventures of Sinbad the Sailor
8.89 € -
Interactive Theorem Proving and Program Development
120.80 € -9 % -
Mechanical Forces: Their Effects on Cells and Tissues
51.65 € -7 % -
Letter to the Independent Whig, Occasioned by His Considerations of the Importance of Gibraltar to the British Empire
25.57 € -2 % -
Japanese Management in the Low Growth Era
102.90 € -7 % -
Zariskian Filtrations
51.65 € -7 %
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 207 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
85.62 €
- 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
-
Category Theory in Context
25.06 € -25 % -
Introduction to Logic
14.35 € -9 % -
Mathematical Circle Diaries, Year 2
65.40 € -
Can You Solve My Problems?
11.82 € -25 % -
Proofs and Refutations
21.02 € -24 % -
Set Theory and the Continuum Hypothesis
11.31 € -24 % -
Alan Turing's Systems of Logic
14.75 € -2 % -
Logic: A Very Short Introduction
10 € -24 % -
Illustrated Book of Bad Arguments
12.73 € -24 % -
Foundation Maths
75.61 € -
Set Theory
205.62 € -7 % -
Math Mammoth Grade 1-A Worktext
17.48 € -25 % -
Philosophical Applications of Modal Logic
36.89 € -1 % -
How to Read and Do Proofs - An Introduction to Mathematical Thought Processes, Sixth Edition
77.43 € -
Set Theory, Logic and their Limitations
64.19 € -
Goedel's Proof
66.61 € -
Math Mammoth Grade 2-A Worktext
18.49 € -25 % -
Goedel's Proof
13.44 € -24 % -
To Mock a Mockingbird: and Other Logic Puzzles
15.05 € -24 % -
Introduction to Logic and to the Methodology of Deductive Sciences
12.02 € -
Model Theory
25.06 € -25 % -
First-order Logic
8.58 € -24 % -
Beginner's Guide to Mathematical Logic
18.19 € -25 % -
Conceptual Mathematics
68.03 € -
Foundations of Mathematics and Other Logical Essays
17.48 € -
Introduction to Mathematical Logic
21.62 € -25 % -
Math Mammoth Grade 4-B Worktext
21.12 € -25 % -
Contributions to the Founding of the Theory of Transfinite Numbers
12.83 € -
Categories for Types
91.18 € -
Lambda-Calculus and Combinators
91.18 € -
Limitless Mind
16.87 € -20 % -
Naive Set Theory
11.82 € -25 % -
Foundations of Geometry
9.80 € -
Topoi
21.62 € -25 % -
Naive Set Theory
9.80 € -
Categories for the Working Mathematician
56.50 € -9 % -
Problem-solving Strategies In Mathematics: From Common Approaches To Exemplary Strategies
25.26 € -
Set Theory
25.77 € -9 % -
Set Theory and Logic
16.77 € -25 % -
Taking Sudoku Seriously
54.48 € -
Undecidable Theories
11.31 € -24 % -
Beginner's Further Guide To Mathematical Logic, A
25.26 € -
Sets for Mathematics
68.03 € -
Naive Set Theory
10.30 € -
Algebraic Logic
13.94 € -
Haskell Road to Logic, Maths and Programming
25.16 € -10 % -
Gödel's Incompleteness Theorems
55.49 € -9 % -
From Frege to Goedel
59.94 € -
Lattice Theory: Foundation
98.56 €
Shopping guide
Books by language
Collection points Bratislava a 13222 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
26448 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)