Kod: 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. ... więcej
- Język:
Angielski - Oprawa: Miękka
- Liczba stron: 472
Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010
- Więcej informacji o książce
313.59 zł
Zwykle: 370.64 zł
Oszczędzasz 57.06 zł
Dostępna w małych ilościach
Wysyłamy do 24 godzin
Potrzebujesz więcej egzemplarzy?Jeżeli jesteś zainteresowany zakupem większej ilości egzemplarzy, skontaktuj się z nami, aby sprawdzić ich dostępność.
Dodaj do schowka
Zobacz książki o podobnej tematyce
-
Delicious in Dungeon, Vol. 1
65.77 zł -4 % -
Tales from the Loop
116.24 zł -23 % -
The Good Karma Tarot
105.36 zł -4 % -
Nevernight
47.04 zł -14 % -
Torch Against the Night
52.37 zł -15 % -
Fence Vol. 1
36.05 zł -23 % -
The Anne of Green Gables Devotional: A Chapter-By-Chapter Companion for Kindred Spirits
73.63 zł -5 % -
Infinite Powers
52.37 zł -15 % -
Merriam-Webster Visual Dictionary
190.69 zł -7 % -
Dare to Sketch
105.76 zł -4 % -
Making Bead Flowers and Bouquets
57.51 zł -5 % -
Age of Cryptocurrency
71.92 zł -15 % -
Types and Programming Languages
448.78 zł -11 % -
Beginning x64 Assembly Programming
185.55 zł -5 % -
How to Set Up an Flr
96.64 zł -
Mary Shelley Horror Stories
93.17 zł -23 % -
Four Great Restoration Comedies
35.85 zł -53 % -
Hot and Steamy Volume 2 (Hentai Manga)
85.01 zł -6 % -
Lambda Calculus with Types
483.73 zł -
House of Flowers
117.75 zł -4 % -
English Medieval Embroidery
140.42 zł -10 %
Bon podarunkowy: Radość gwarantowana
- Podaruj bon o dowolnej wartości, a my się zajmiemy resztą.
- Bon podarunkowy dotyczy całej naszej oferty.
- Możesz wydrukować elektroniczny bon z e-maila a następnie przekazać go obdarowanemu.
- Ważność bonu wynosi 12 miesięcy od daty wystawienia.
Więcej informacji o Interactive Theorem Proving and Program Development
Opis
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.
Szczegóły książki
Kategoria Książki po angielsku Mathematics & science Mathematics Mathematical foundations
313.59 zł
- Pełny tytuł: Interactive Theorem Proving and Program Development
- Podtytuł: Coq'Art: The Calculus of Inductive Constructions
- Autor: Yves Bertot, Pierre Castéran, G. Huet, C. Paulin-Mohring
- Język: Angielski
- Oprawa: Miękka
- Liczba stron: 472
- EAN: 9783642058806
- ISBN: 3642058809
- ID: 02129635
- Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Waga: 748 g
- Wymiary: 235 × 155 × 26 mm
- Data wydania: 01. December 2010
Ulubione w innej kategorii
-
Set Theory
146.56 zł -
Foundations of Mathematics
181.62 zł -
Introduction to Logic and to the Methodology of Deductive Sciences
60.03 zł -
Goedel's Proof
65.57 zł -4 % -
To Mock a Mockingbird: and Other Logic Puzzles
56.50 zł -23 % -
Oxford Handbook of Philosophy of Mathematics and Logic
314.49 zł -
Questions, Inferences, and Scenarios
99.92 zł -
Schaum's Outline of Set Theory and Related Topics
124.30 zł -2 % -
Logic
51.87 zł -23 % -
Logic: A Very Short Introduction
43.41 zł -15 % -
Beginner's Guide to Mathematical Logic
97.71 zł -23 % -
Illustrated Book of Bad Arguments
69.50 zł -4 % -
In Pursuit of the Traveling Salesman
73.43 zł -4 % -
Taking Sudoku Seriously
243.07 zł -
2000 Solved Problems in Discrete Mathematics
152.81 zł -3 % -
Logician and the Engineer
100.43 zł -5 % -
Higher Topos Theory (AM-170)
534.20 zł -
Naive Set Theory
51.37 zł -
Art of Proof
209.63 zł -
Algebras and Representation Theory
199.85 zł -
Naive Set Theory
91.96 zł -
Dictionary of Argumentation
148.88 zł -
Logical Dilemmas
295.96 zł -
Limitless Mind
71.92 zł -15 % -
Category Theory in Context
145.56 zł -5 % -
Naive Set Theory
57.31 zł -5 % -
Elements of Mathematics
113.62 zł -
Can You Solve My Problems?
51.87 zł -23 % -
On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems
92.87 zł -
Concise Introduction to Pure Mathematics
256.97 zł -
Model Theory
145.35 zł -5 % -
Category Theory
342.50 zł -
Axiom of Choice
65.57 zł -4 % -
Teaching Multiplication Using LEGO(R) Bricks
102.14 zł -
Foundations of Geometry
46.03 zł -
Principles of Mathematics
136.99 zł -
First-order Logic
49.45 zł -4 % -
Handbook of Mathematical Induction
336.25 zł -
Beginner's Further Guide To Mathematical Logic, A
128.73 zł -
Names of the Lion
67.58 zł -15 % -
Categories for the Working Mathematician
282.06 zł -8 % -
Conceptual Mathematics
328.20 zł -
Mathematical Logic
313.79 zł -
Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume I: Set Theory
312.98 zł -
Kurt Goedel: Collected Works
407.38 zł -
My Best Mathematical and Logic Puzzles
45.62 zł -5 % -
Problem-solving Strategies In Mathematics: From Common Approaches To Exemplary Strategies
133.77 zł -
Introduction to Logic
65.57 zł -4 % -
Proofs and Refutations
109.49 zł -5 %
zadowolonych klientów
Od roku 2008 obsłużyliśmy wielu miłośników książek, ale dla nas każdy był tym wyjątkowym.
Copyright! ©2008-24 libristo.pl Wszelkie prawa zastrzeżonePrywatnieCookies
21 milionów książek
Dostawa 10.99 zł
(32) 444 93 66 (8-15.30h)