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 - Vazba: Brožovaná
- Počet stran: 472
Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010
- Více informací o knize
1831 Kč
Skladem v malém množství
Odesíláme do 24 hodin
Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.
Přidat mezi přání
Mohlo by se vám také líbit
-
Interactive Theorem Proving and Program Development
3611 Kč -
Types and Programming Languages
2614 Kč -
Four Pillars of Geometry
1701 Kč -
Lambda Calculus with Types
2879 Kč -
Nevernight
276 Kč -
Dare to Sketch
493 Kč -
Mary Shelley Horror Stories
543 Kč -
Fence Vol. 1
210 Kč -
The Other Miss Bridgerton: A Bridgerton Prequel
581 Kč -
Beginning x64 Assembly Programming
866 Kč -
Infinite Powers
316 Kč -
Tales from the Loop
677 Kč -
The Anne of Green Gables Devotional: A Chapter-By-Chapter Companion for Kindred Spirits
345 Kč -
The Good Karma Tarot
605 Kč -
If I Had Your Face
428 Kč -
English Medieval Embroidery
1067 Kč -
House of Flowers
658 Kč -
Delicious in Dungeon, Vol. 1
369 Kč -
Torch Against the Night
286 Kč -
Hot and Steamy Volume 2 (Hentai Manga)
447 Kč -
Die verrückte Geschichte der Welt
328 Kč -
Age of Cryptocurrency
384 Kč -
How to Set Up an Flr
501 Kč -
Nano-electro-mechanical Switches for Logic Applications
2532 Kč -
Merriam-Webster Visual Dictionary
966 Kč -
Four Great Restoration Comedies
209 Kč -
Making Bead Flowers and Bouquets
282 Kč -
E-Learning - Die Wiki als Medium fur die Optimierung von Lehr-/Lernsituationen in Berufsschulen?
2155 Kč
Darujte tuto knihu ještě dnes
- Objednejte knihu a zvolte Zaslat jako dárek.
- Obratem obdržíte darovací poukaz na knihu, který můžete ihned předat obdarovanému.
- Knihu zašleme na adresu obdarovaného, o nic se nestaráte.
Více informací o knize Interactive Theorem Proving and Program Development
Anotace 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.
Parametry knihy
Zařazení knihy Knihy v angličtině Mathematics & science Mathematics Mathematical foundations
1831 Kč
- Plný název: Interactive Theorem Proving and Program Development
- Podnázev: Coq'Art: The Calculus of Inductive Constructions
- Autor: Yves Bertot, Pierre Castéran, G. Huet, C. Paulin-Mohring
- Jazyk: Angličtina
- Vazba: Brožovaná
- Počet stran: 472
- EAN: 9783642058806
- ISBN: 3642058809
- ID: 02129635
- Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Hmotnost: 748 g
- Rozměry: 235 × 155 × 26 mm
- Datum vydání: 01. December 2010
Oblíbené z jiného soudku
-
Conceptual Mathematics
1780 Kč -
Limitless Mind
420 Kč -
Categories for the Working Mathematician
1992 Kč -
Set Theory
872 Kč -
Foundations of Mathematics
887 Kč -
Logic For Dummies
581 Kč -
To Mock a Mockingbird: and Other Logic Puzzles
330 Kč -
Introduction to Logic and to the Methodology of Deductive Sciences
357 Kč -
Goedel's Proof
360 Kč -
Illustrated Book of Bad Arguments
330 Kč -
Oxford Handbook of Philosophy of Mathematics and Logic
1806 Kč -
In Pursuit of the Traveling Salesman
412 Kč -
Taking Sudoku Seriously
1396 Kč -
2000 Solved Problems in Discrete Mathematics
736 Kč -
Proofs and Refutations
603 Kč -
Higher Topos Theory (AM-170)
3115 Kč -
Questions, Inferences, and Scenarios
594 Kč -
Naive Set Theory
274 Kč -
Schaum's Outline of Set Theory and Related Topics
598 Kč -
Algebras and Representation Theory
1176 Kč -
Dictionary of Argumentation
885 Kč -
Logic
303 Kč -
Logic: A Very Short Introduction
265 Kč -
Category Theory in Context
684 Kč -
Beginner's Guide to Mathematical Logic
570 Kč -
Naive Set Theory
270 Kč -
Elements of Mathematics
592 Kč -
Can You Solve My Problems?
303 Kč -
On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems
538 Kč -
Concise Introduction to Pure Mathematics
1513 Kč -
Model Theory
723 Kč -
Arithmetic
632 Kč -
Introduction to Mathematical Logic
4267 Kč -
Category Theory
1996 Kč -
First-order Logic
231 Kč -
Axiom of Choice
314 Kč -
Teaching Multiplication Using LEGO(R) Bricks
608 Kč -
Handbook of Mathematical Fuzzy Logic. Volume 1
899 Kč -
Principles of Mathematics
816 Kč -
Foundations of Geometry
235 Kč -
Handbook of Mathematical Induction
2064 Kč -
Beginner's Further Guide To Mathematical Logic, A
768 Kč -
Logician and the Engineer
470 Kč -
Names of the Lion
442 Kč -
From Frege to Goedel
1573 Kč -
Introduction to Logic
307 Kč -
Mathematical Logic
1965 Kč -
Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume I: Set Theory
1600 Kč -
My Best Mathematical and Logic Puzzles
257 Kč
O tomto obchodě
Nákupní rádce
Přehledy
Knihy podle jazyka
Osobní odběr Praha, Brno a 12903 dalších
Copyright ©2008-24 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Balíkovna za 49 Kč
Vrácení do měsíce
571 999 099 (8-15.30h)