Kód: 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: 120.90 EUR
Availability: InStock
Author: Yves Bertot
ISBN: 9783540208549

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

Jazyk: Angličtina
Väzba: Pevná
Počet strán: 472
Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004
Viac informácií o knihe

120.90 €

Bežne: 133.86 €

Ušetríte 12.96 €

Skladom u dodávateľa
Odosielame za 10 - 13 dní

Pridať medzi želanie

Mohlo by sa vám tiež páčiť

Effective Modern C++
47.04 € -30 %
Kúpiť
Clash of Civilizations and the Remaking of World Order
14.76 € -25 %
Kúpiť
Lost Spells
15.77 € -21 %
Kúpiť
TOKYO REVENGERS OMNI V21-22
22.25 € -25 %
Kúpiť
What the Buddha Taught
14.26 € -9 %
Kúpiť
Continuous Discovery Habits
23.36 €
Kúpiť
Ask and It is Given
14.05 € -25 %
Kúpiť
From Head to Toe
6.47 € -29 %
Kúpiť
Notes on Heartbreak
11.12 € -25 %
Kúpiť
The Guitar Handbook
28.62 € -24 %
Kúpiť
Building Microservices
56.55 € -24 %
Kúpiť
How Big Things Get Done
21.44 € -27 %
Kúpiť
In the Ruins of Neoliberalism
25.79 € -17 %
Kúpiť
Guitar World
37.53 € -21 %
Kúpiť
Type Theory and Formal Proof
95.10 €
Kúpiť
Brambly Hedge: Festive Colouring Book
10.41 € -25 %
Kúpiť
The Moomin Colouring Book
12.94 € -25 %
Kúpiť
These Violent Delights Duet
27.61 € -29 %
Kúpiť
Sketching from the Imagination
21.44 € -23 %
Kúpiť
Inside-Out Revolution
12.94 € -30 %
Kúpiť
Monsters of Men
11.83 € -14 %
Kúpiť
Layout Essentials Revised and Updated
25.49 € -11 %
Kúpiť
Seventeen Contradictions and the End of Capitalism
15.98 € -20 %
Kúpiť
Seirei Gensouki: Spirit Chronicles: Omnibus 9
24.07 € -14 %
Kúpiť
Captain Alatriste
11.83 € -25 %
Kúpiť
Eastern Blocks: Volume II
32.67 €
Kúpiť
Interactive Theorem Proving and Program Development
85.69 € -9 %
Kúpiť
On the Resurrection, Volume 3
52.70 € -24 %
Kúpiť
Hypnosis
110.38 €
Kúpiť
Invention and Innovation
30.65 € -10 %
Kúpiť
Soled Out: The Golden Age of Sneaker Advertising
60.19 € -8 %
Kúpiť
Pastoralia
11.83 € -25 %
Kúpiť
Lily, the Pond Mermaid
13.95 € -24 %
Predobjednať
Complete Guide to Machine Knitting: From the Thread to the Finished Garment
35.50 € -9 %
Kúpiť
Hypnosis
10.82 € -18 %
Kúpiť
Unfortunately Yours
13.75 € -29 %
Kúpiť
A Short History of Canada: Seventh Edition
18.61 € -25 %
Kúpiť
Fighters Across Frontiers
36.92 € -10 %
Kúpiť
Unfurl
13.45 € -24 %
Kúpiť
Deyrolle: French Botanical Art
21.34 € -14 %
Kúpiť
Basic Proof Theory
65.45 €
Kúpiť
Lego train adventure rhyming story book: riding a Lego train
9.80 € -6 %
Kúpiť
Recollections of My Non-Existence
14.16 € -29 %
Kúpiť
Saint Mary of Egypt
21.74 €
Kúpiť
Temporal Logics in Computer Science
155.80 €
Kúpiť
La Femme Fatale
17.49 €
Kúpiť
Data Visualization with Excel Dashboards and Reports
29.94 € -25 %
Kúpiť
Knife Defense Basics: Knife Training Methods and Techniques for Martial Artists
11.52 € -7 %
Kúpiť
Functionaly Safety of Machinery
113.92 € -1 %
Kúpiť
Cute Hand Lettering
13.95 € -9 %
Kúpiť
Building Embedded Systems
75.67 € -9 %
Kúpiť
Lacuna
14.05 € -25 %
Kúpiť
Neuropsychedelia
104.61 €
Kúpiť
Poles in Wisconsin
12.54 € -9 %
Kúpiť
The Wood Between the Worlds: A Poetic Theology of the Cross
18.30 € -24 %
Kúpiť
Student's Guide to the Navier-Stokes Equations
64.84 €
Kúpiť
Functional Training for the Mind
14.76 € -25 %
Kúpiť
Emir Kusturica
38.84 €
Kúpiť
Mergent's Handbook of Common Stocks
116.85 €
Kúpiť
Relentless: 12 Rounds to Success
26.09 € -9 %
Kúpiť
Drought Stress Tolerance in Plants, Vol 1
154.39 € -7 %
Kúpiť
Dance of the Serpents
11.83 € -25 %
Kúpiť
Interactive Technologies and Sociotechnical Systems
55.84 €
Kúpiť
Adventures of Nio the Skunk: The Unknown
9.80 € -6 %
Kúpiť
Seamless Patterns: Adult Coloring Book: Stress Relieving Patterns
6.36 € -7 %
Kúpiť
Interactive Video
102.99 € -7 %
Kúpiť
Think Like the Greats
15.37 € -18 %
Kúpiť
Essential Guide to Critical Development Studies
61 €
Kúpiť
Interactive Theorem Proving
55.84 €
Kúpiť
Interactive Theorem Proving
110.58 €
Kúpiť
Political Companion to Walt Whitman
32.67 €
Kúpiť
Diseases of the Brain, Head & Neck, Spine
100.76 € -9 %
Kúpiť
History of Italian Fertility During the Last Two Centuries
49.97 €
Kúpiť
History of the Insurance Company of North America of Philadelphia
19.72 € -14 %
Kúpiť
Across the Isthmus to California in '52
12.64 € -14 %
Kúpiť
Leben lieben lernen
13.55 € -14 %
Kúpiť
Practical Guide to Laryngeal Framework Surgery
147 €
Kúpiť
Interactive Theorem Proving
55.84 €
Kúpiť
Protestant Identity and Peace in Northern Ireland
55.84 €
Kúpiť
Worcester Academy; Its Locations and Its Principals, 1834-1882
29.23 € -1 %
Kúpiť
Presley's Reading Log
7.88 € -24 %
Kúpiť
The Good Ship Earth: A Survey Of World Problems (1913)
37.32 € -1 %
Kúpiť
Brynleigh's Reading Log
7.88 € -24 %
Kúpiť
Seasonings
22.25 €
Kúpiť

Darčekový poukaz: Radosť zaručená

Darujte poukaz v ľubovoľnej hodnote, a my sa postaráme o zvyšok.
Poukaz sa vzťahuje na všetky produkty v našej ponuke.
Elektronický poukaz si vytlačíte z e-mailu a môžete ho ihneď darovať.
Platnosť poukazu je 12 mesiacov od dátumu vystavenia.

Objednať darčekový poukaz Viac informácií

Viac informácií o knihe Interactive Theorem Proving and Program Development

Parametre knihy
Anotácia kniha
Obľúbené z iného súdka

Nákupom získate 292 bodov

Anotácia 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.