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.76 €
RRP: 94.99 €
You save 9.24 €
In stock at our supplier
Shipping in 5 - 8 days
You might also like
-
Berserk Deluxe Volume 7
55.18 € -
Frieren: Beyond Journey's End, Vol. 1
9.91 € -23 % -
Scum Villain's Self-Saving System: Ren Zha Fanpai Zijiu Xitong (Novel) Vol. 1
14.57 € -32 % -
Outwitting the Devil
13.46 € -24 % -
Field Guide to Mammals of Europe, North Africa and the Middle East
28.65 € -24 % -
Moriarty the Patriot, Vol. 11
7.89 € -25 % -
Torch Against the Night
9.31 € -30 % -
RaW Hero, Vol. 1
13.15 € -13 % -
Nevernight
10.32 € -28 % -
Delicious in Dungeon, Vol. 1
13.46 € -11 % -
Creativity, Inc.
18.82 € -27 % -
Dare to Sketch
18.32 € -24 % -
Cambridge Advanced Learner's Dictionary
38.17 € -
Art of Noticing
16.90 € -30 % -
Tales from the Loop
27.13 € -21 % -
Rust For Rustaceans
35.03 € -29 % -
Merriam-Webster Visual Dictionary
31.99 € -25 % -
Infinite Powers
12.24 € -22 % -
My Friends
20.75 € -22 % -
The Good Karma Tarot
17.71 € -27 % -
Computer Networks, Global Edition
108.34 € -
Making Bead Flowers and Bouquets
9.91 € -25 % -
If on a Winter's Night a Traveller
19.94 € -14 % -
Let Over Lambda
39.28 € -
Type Theory and Formal Proof
95.18 € -
How to Set Up an Flr
22.57 € -7 % -
Hot and Steamy Volume 2 (Hentai Manga)
16.70 € -9 % -
Discrete Mathematics and Graph Theory
28.65 € -
Box T Air Power: The Aviation Art of Model Airplane Boxes
21.96 € -26 % -
If I Had Your Face
13.46 € -24 % -
Writing A C Compiler: Build a Real Programming Language from Scratch
48.49 € -29 % -
The Anne of Green Gables Devotional: A Chapter-By-Chapter Companion for Kindred Spirits
12.75 € -25 % -
Fence Vol. 1
7.79 € -26 % -
Prisma
25.10 € -
Programming in Haskell
46.77 € -5 % -
What to Do When You're Having Two
15.08 € -23 % -
House of Flowers
26.42 € -25 % -
Mary Shelley Horror Stories
22.67 € -15 % -
Grumpy Monkey Freshly Squeezed
8.60 € -30 % -
Lambda Calculus. Its Syntax and Semantics
29.86 € -10 % -
Einstein's Fridge
14.27 € -
Toussaint Louverture: The Story of the Only Successful Slave Revolt in History
18.22 € -25 % -
Enneagram Essentials: 125 Cards for Self-Awareness and Connection
20.75 € -14 % -
Age of Cryptocurrency
14.98 € -25 % -
Christian Louboutin
112.39 € -30 % -
Practical Engine Airflow
30.47 € -18 % -
English Medieval Embroidery
29.76 € -19 % -
GM Turbo 350 Transmissions
25.10 € -25 % -
Yoga Therapy for Children with Autism and Special Needs
30.98 € -5 % -
Beginning x64 Assembly Programming
32.09 € -24 % -
Types and Programming Languages
104.59 € -12 % -
Death by Water
12.95 € -30 % -
Designing Software Architectures
50.92 € -1 % -
Poker Satellite Strategy
21.76 € -24 % -
Pain is Really Strange
11.33 € -24 % -
Meditation for Beginners
12.75 € -25 % -
Beyond the Trees: A Journey Alone Across Canada's Arctic
13.15 € -25 % -
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 % -
STDS9 & THE USS DEFIANT ILLU HNDBK
25.31 € -26 % -
Cadillac CTS Automotive Repair Manual
44.44 € -10 % -
Four Pillars of Geometry
40.49 € -9 % -
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 % -
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 % -
Basic Proof Theory
65.51 € -
Understanding Central Europe
68.75 € -
Younger
26.62 € -19 % -
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 € -
The Other Miss Bridgerton: A Bridgerton Prequel
18.32 € -24 % -
Lionel Messi (Real Bios)
6.57 € -24 % -
Armenian History
14.77 € -25 % -
Programming with Types
55.48 € -
Interactive Theorem Proving and Program Development
121 € -9 %
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 Knihy po anglicky Mathematics & science Mathematics Mathematical foundations
85.76 €
- 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
-
Can You Solve My Problems?
11.84 € -25 % -
Proofs and Refutations
21.05 € -24 % -
Set Theory and the Continuum Hypothesis
11.33 € -24 % -
Alan Turing's Systems of Logic
14.77 € -2 % -
Goedel's Proof
13.46 € -24 % -
Logic: A Very Short Introduction
10.01 € -24 % -
Introduction to Logic and to the Methodology of Deductive Sciences
12.04 € -
Category Theory in Context
25.10 € -25 % -
Illustrated Book of Bad Arguments
12.75 € -24 % -
Foundation Maths
71.99 € -3 % -
Set Theory and Logic
16.80 € -25 % -
Introduction to Logic
11.33 € -24 % -
Set Theory
205.96 € -7 % -
Philosophical Applications of Modal Logic
36.95 € -1 % -
How to Read and Do Proofs - An Introduction to Mathematical Thought Processes, Sixth Edition
90.62 € -
Set Theory, Logic and their Limitations
64.29 € -
Goedel's Proof
66.72 € -
To Mock a Mockingbird: and Other Logic Puzzles
15.08 € -24 % -
Model Theory
25.10 € -25 % -
First-order Logic
8.60 € -24 % -
Conceptual Mathematics
68.14 € -
Beginner's Guide to Mathematical Logic
18.22 € -25 % -
Problem-solving Strategies In Mathematics: From Common Approaches To Exemplary Strategies
25.31 € -
Foundations of Mathematics and Other Logical Essays
17.51 € -
Introduction to Mathematical Logic
21.66 € -25 % -
Math Mammoth Grade 4-B Worktext
21.15 € -25 % -
Contributions to the Founding of the Theory of Transfinite Numbers
12.85 € -
Lambda-Calculus and Combinators
91.33 € -
Categories for Types
91.33 € -
Limitless Mind
16.90 € -20 % -
Naive Set Theory
11.84 € -25 % -
Foundations of Geometry
9.81 € -
Topoi
21.66 € -25 % -
Naive Set Theory
9.81 € -
Categories for the Working Mathematician
67.53 € -
Set Theory
25.81 € -9 % -
Taking Sudoku Seriously
35.03 € -
Undecidable Theories
11.33 € -24 % -
Beginner's Further Guide To Mathematical Logic, A
25.31 € -
Sets for Mathematics
68.14 € -
Naive Set Theory
10.32 € -
Algebraic Logic
13.96 € -
Haskell Road to Logic, Maths and Programming
25.20 € -10 % -
Gödel's Incompleteness Theorems
55.58 € -9 % -
From Frege to Goedel
60.04 € -
Lattice Theory: Foundation
80.19 € -
Handbook of Epistemic Logic
29.86 € -10 % -
Axiomatic Set Theory
15.48 € -25 % -
Computability and Logic
41 € -1 %
O tomto obchode
Nákupný poradca
Prehľady
Knihy podľa jazyka
Osobný odber Bratislava a 12742 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
24 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)