Code: 02129535

Interactive Theorem Proving and Program Development

Name: Interactive Theorem Proving and Program Development
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02129535
Price: 134.37 EUR
Availability: InStock
Author: Yves Bertot
ISBN: 9783540208549

by Yves Bertot, P. Casteran, G. Huet, C. Paulin-Mohring

Language: English
Binding: Hardback
Number of pages: 472
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004
More about this

134.37 €

RRP: 134.41 €

You save 0.04 €

In stock at our supplier
Shipping in 10 - 18 days

Add to wishlist

Continuous Discovery Habits
14.79 € -25 %
Buy
In the Ruins of Neoliberalism
25.83 € -17 %
Buy
These Violent Delights Duet
28.06 € -29 %
Buy
Captain Alatriste
11.85 € -25 %
Buy
Ask and It is Given
13.98 € -25 %
Buy
From Head to Toe
7.89 € -25 %
Buy
Clash of Civilizations and the Remaking of World Order
14.79 € -25 %
Buy
Effective Modern C++
50.46 € -25 %
Buy
Lost Spells
15.50 € -27 %
Buy
Notes on Heartbreak
11.14 € -25 %
Buy
The Guitar Handbook
28.67 € -24 %
Buy
TOKYO REVENGERS OMNI V21-22
16.71 € -28 %
Buy
What the Buddha Taught
14.99 € -5 %
Buy
Layout Essentials Revised and Updated
25.53 € -11 %
Buy
Building Microservices
56.24 € -25 %
Buy
How Big Things Get Done
21.48 € -27 %
Buy
Guitar World
37.59 € -21 %
Buy
Type Theory and Formal Proof
95.26 €
Buy
Brambly Hedge: Festive Colouring Book
9.41 € -26 %
Buy
The Moomin Colouring Book
12.86 € -26 %
Buy
Sketching from the Imagination
21.27 € -24 %
Buy
Inside-Out Revolution
13.98 € -24 %
Buy
Seventeen Contradictions and the End of Capitalism
15.80 € -20 %
Buy
Seirei Gensouki: Spirit Chronicles: Omnibus 9
23 € -20 %
Buy
Eastern Blocks: Volume II
32.72 €
Buy
Interactive Theorem Proving and Program Development
95.76 €
Buy
Hypnosis
110.56 €
Buy
Invention and Innovation
30.70 € -10 %
Buy
Monsters of Men
11.75 € -15 %
Buy
Soled Out: The Golden Age of Sneaker Advertising
60.09 € -9 %
Buy
Pastoralia
11.85 € -25 %
Buy
Lily, the Pond Mermaid
13.98 € -24 %
Pre-order
Complete Guide to Machine Knitting: From the Thread to the Finished Garment
43.37 €
Pre-order
Hypnosis
10.83 € -18 %
Buy
Unfortunately Yours
13.77 € -29 %
Buy
A Short History of Canada: Seventh Edition
18.64 € -25 %
Buy
Fighters Across Frontiers
36.98 € -10 %
Buy
Unfurl
13.47 € -24 %
Buy
On the Resurrection, Volume 3
52.79 € -24 %
Buy
Deyrolle: French Botanical Art
21.07 € -15 %
Buy
Proof Theory
18.23 € -25 %
Buy
Basic Proof Theory
65.56 €
Buy
Lego train adventure rhyming story book: riding a Lego train
9.82 € -6 %
Buy
Recollections of My Non-Existence
14.18 € -29 %
Buy
Saint Mary of Egypt
22.18 €
Buy
Temporal Logics in Computer Science
129.61 € -15 %
Pre-order
La Femme Fatale
17.52 €
Buy
Data Visualization with Excel Dashboards and Reports
29.99 € -25 %
Buy
Knife Defense Basics: Knife Training Methods and Techniques for Martial Artists
11.54 € -7 %
Buy
Functionaly Safety of Machinery
114.11 € -1 %
Buy
Cute Hand Lettering
13.98 € -9 %
Buy
Building Embedded Systems
76.40 €
Buy
Lacuna
14.08 € -25 %
Buy
Neuropsychedelia
104.78 €
Buy
Poles in Wisconsin
12.56 € -9 %
Buy
The Wood Between the Worlds: A Poetic Theology of the Cross
18.33 € -24 %
Buy
Student's Guide to the Navier-Stokes Equations
64.95 €
Buy
Functional Training for the Mind
14.79 € -25 %
Buy
Emir Kusturica
45.49 € -4 %
Buy
Relentless: 12 Rounds to Success
26.14 € -9 %
Buy
Adventures of Nio the Skunk: The Unknown
9.82 € -6 %
Buy
Dance of the Serpents
11.85 € -25 %
Buy
Drought Stress Tolerance in Plants, Vol 1
168.02 €
Buy
Interactive Technologies and Sociotechnical Systems
55.93 €
Buy
Seamless Patterns: Adult Coloring Book: Stress Relieving Patterns
6.37 € -7 %
Buy
Think Like the Greats
15.39 € -18 %
Buy
Essential Guide to Critical Development Studies
61.10 €
Buy
Interactive Video
109.54 €
Buy
Interactive Theorem Proving
55.93 €
Buy
Political Companion to Walt Whitman
32.72 €
Buy
Interactive Theorem Proving
110.76 €
Buy
The Good Ship Earth: A Survey Of World Problems (1913)
37.39 € -1 %
Buy
Worcester Academy; Its Locations and Its Principals, 1834-1882
29.28 € -1 %
Buy
History of Italian Fertility During the Last Two Centuries
66.98 €
Buy
Diseases of the Brain, Head & Neck, Spine
109.54 €
Buy
Seasonings
22.29 €
Buy
History of the Insurance Company of North America of Philadelphia
27.76 € -6 %
Buy
Across the Isthmus to California in '52
18.33 € -6 %
Buy
Practical Guide to Laryngeal Framework Surgery
147.25 €
Buy
Interactive Theorem Proving
55.93 €
Buy
Protestant Identity and Peace in Northern Ireland
55.93 €
Buy
Presley's Reading Log
7.89 € -24 %
Buy
Inclusive Teaching in the Early Childhood Science Classroom
61.10 €
Buy
Walking Dead Ruled Journal
17.62 € -10 %
Buy

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.

Book gift voucher sample Read more

More about Interactive Theorem Proving and Program Development

Book details
Synopsis
Trending among others

You get 325 loyalty points

Book synopsis

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.