Kód: 02129635
Interactive Theorem Proving and Program Development
Autor 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. ... celý popis
- Jazyk:
Angličtina - Väzba: Brožovaná
- Počet strán: 472
Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010
- Viac informácií o knihe
73 €
Bežne: 86.27 €
Ušetríte 13.28 €
Skladom v malom množstve
Odosielame do 24 hodín
Potrebujete viac kusov?Ak máte záujem o viac kusov, preverte, prosím, najprv dostupnosť titulu na našej zákazníckej podpore.
Pridať medzi želanie
Mohlo by sa vám tiež páčiť
-
Interactive Theorem Proving and Program Development
150.25 € -
Types and Programming Languages
104.45 € -11 % -
Four Pillars of Geometry
70.67 € -
Lambda Calculus with Types
119.92 € -
Nevernight
9.70 € -24 % -
Dare to Sketch
20.62 € -20 % -
Mary Shelley Horror Stories
22.14 € -21 % -
Fence Vol. 1
8.38 € -23 % -
The Other Miss Bridgerton: A Bridgerton Prequel
24.56 € -5 % -
Beginning x64 Assembly Programming
36.90 € -18 % -
Anti-Pluralism
23.45 € -9 % -
Infinite Powers
12.02 € -16 % -
Tales from the Loop
27.09 € -23 % -
The Anne of Green Gables Devotional: A Chapter-By-Chapter Companion for Kindred Spirits
14.65 € -18 % -
The Good Karma Tarot
24.46 € -6 % -
If I Had Your Face
17.08 € -11 % -
English Medieval Embroidery
32.85 € -9 % -
House of Flowers
27.70 € -4 % -
Torch Against the Night
11.52 € -16 % -
Hot and Steamy Volume 2 (Hentai Manga)
18.80 € -2 % -
Die verrückte Geschichte der Welt
13.14 € -
Age of Cryptocurrency
15.87 € -19 % -
How to Set Up an Flr
20.82 € -1 % -
Nano-electro-mechanical Switches for Logic Applications
106.16 € -
Merriam-Webster Visual Dictionary
38.52 € -15 % -
Four Great Restoration Comedies
8.38 € -53 % -
Making Bead Flowers and Bouquets
11.42 € -19 % -
To
16.07 €
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.
Viac informácií o knihe Interactive Theorem Proving and Program Development
Anotácia knihy
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.
Parametre knihy
Zaradenie knihy Knihy po anglicky Mathematics & science Mathematics Mathematical foundations
73 €
- Celý názov: Interactive Theorem Proving and Program Development
- Podnázov: Coq'Art: The Calculus of Inductive Constructions
- Autor: Yves Bertot, Pierre Castéran, G. Huet, C. Paulin-Mohring
- Jazyk: Angličtina
- Väzba: Brožovaná
- Počet strán: 472
- EAN: 9783642058806
- ISBN: 3642058809
- ID: 02129635
- Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Hmotnosť: 748 g
- Rozmery: 235 × 155 × 26 mm
- Dátum vydania: 01. December 2010
Obľúbené z iného súdka
-
Set Theory
36.39 € -
Foundations of Mathematics
36.90 € -
Introduction to Logic and to the Methodology of Deductive Sciences
14.85 € -
Goedel's Proof
14.75 € -8 % -
To Mock a Mockingbird: and Other Logic Puzzles
13.14 € -23 % -
Oxford Handbook of Philosophy of Mathematics and Logic
74.92 € -
Questions, Inferences, and Scenarios
24.76 € -
Schaum's Outline of Set Theory and Related Topics
25.37 € -15 % -
Logic
12.12 € -23 % -
Logic: A Very Short Introduction
8.99 € -24 % -
Beginner's Guide to Mathematical Logic
22.74 € -23 % -
Illustrated Book of Bad Arguments
13.74 € -19 % -
In Pursuit of the Traveling Salesman
17.28 € -4 % -
Taking Sudoku Seriously
57.93 € -
2000 Solved Problems in Discrete Mathematics
31.13 € -15 % -
Logician and the Engineer
19.81 € -1 % -
Higher Topos Theory (AM-170)
129.42 € -
Naive Set Theory
11.21 € -
Art of Proof
51.36 € -
Algebras and Representation Theory
48.93 € -
Naive Set Theory
22.64 € -
Dictionary of Argumentation
36.90 € -
Logical Dilemmas
64.60 € -
Limitless Mind
15.06 € -23 % -
Category Theory in Context
28.91 € -19 % -
Naive Set Theory
11.42 € -19 % -
Elements of Mathematics
22.94 € -4 % -
Can You Solve My Problems?
12.12 € -23 % -
On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems
21.63 € -
Concise Introduction to Pure Mathematics
58.84 € -
Model Theory
29.11 € -18 % -
Axiom of Choice
13.03 € -18 % -
Category Theory
70.17 € -7 % -
Teaching Multiplication Using LEGO(R) Bricks
25.37 € -
Foundations of Geometry
9.80 € -
Principles of Mathematics
33.97 € -
First-order Logic
9.80 € -19 % -
Handbook of Mathematical Induction
83.31 € -
Beginner's Further Guide To Mathematical Logic, A
31.94 € -
Names of the Lion
17.69 € -4 % -
Categories for the Working Mathematician
65.72 € -7 % -
Conceptual Mathematics
65.82 € -
Mathematical Logic
79.06 € -
Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume I: Set Theory
65.82 € -
Kurt Goedel: Collected Works
100.70 € -
My Best Mathematical and Logic Puzzles
10.71 € -4 % -
Problem-solving Strategies In Mathematics: From Common Approaches To Exemplary Strategies
31.94 € -
Introduction to Logic
13.03 € -18 % -
Proofs and Refutations
23.96 € -10 %
O tomto obchode
Nákupný poradca
Prehľady
Knihy podľa jazyka
Osobný odber Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
21 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)