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
1827 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
3585 Kč -
Types and Programming Languages
2614 Kč -
Four Pillars of Geometry
1188 Kč -
Lambda Calculus with Types
2818 Kč -
English Medieval Embroidery
816 Kč -
The Good Karma Tarot
614 Kč -
The Anne of Green Gables Devotional: A Chapter-By-Chapter Companion for Kindred Spirits
362 Kč -
Tales from the Loop
677 Kč -
House of Flowers
686 Kč -
Dare to Sketch
518 Kč -
Infinite Powers
323 Kč -
Anti-Pluralism
581 Kč -
Beginning x64 Assembly Programming
910 Kč -
The Other Miss Bridgerton: A Bridgerton Prequel
627 Kč -
Fence Vol. 1
210 Kč -
Mary Shelley Horror Stories
543 Kč -
Nevernight
290 Kč -
Delicious in Dungeon, Vol. 1
383 Kč -
Torch Against the Night
323 Kč -
Hot and Steamy Volume 2 (Hentai Manga)
495 Kč -
Age of Cryptocurrency
444 Kč -
How to Set Up an Flr
502 Kč -
Nano-electro-mechanical Switches for Logic Applications
2650 Kč -
Four Great Restoration Comedies
216 Kč -
Merriam-Webster Visual Dictionary
964 Kč -
Making Bead Flowers and Bouquets
285 Kč -
To
402 Kč -
E-Learning - Die Wiki als Medium fur die Optimierung von Lehr-/Lernsituationen in Berufsschulen?
2112 Kč
Dárkový poukaz: Radost zaručena
- Darujte poukaz v libovolné hodnotě a my se postaráme o zbytek.
- Poukaz se vztahuje na celou naši nabídku.
- Elektronický poukaz vytisknete z e-mailu a můžete ihned darovat.
- Platnost poukazu je 12 měsíců od data vystavení.
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
1827 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
-
Set Theory
854 Kč -
Foundations of Mathematics
1103 Kč -
Introduction to Logic and to the Methodology of Deductive Sciences
350 Kč -
Goedel's Proof
358 Kč -
To Mock a Mockingbird: and Other Logic Puzzles
329 Kč -
Oxford Handbook of Philosophy of Mathematics and Logic
1832 Kč -
Questions, Inferences, and Scenarios
582 Kč -
Schaum's Outline of Set Theory and Related Topics
612 Kč -
Logic
302 Kč -
Logic: A Very Short Introduction
268 Kč -
Beginner's Guide to Mathematical Logic
569 Kč -
Illustrated Book of Bad Arguments
341 Kč -
In Pursuit of the Traveling Salesman
428 Kč -
Taking Sudoku Seriously
1416 Kč -
2000 Solved Problems in Discrete Mathematics
753 Kč -
Logician and the Engineer
583 Kč -
Higher Topos Theory (AM-170)
3112 Kč -
Naive Set Theory
276 Kč -
Art of Proof
1221 Kč -
Algebras and Representation Theory
1164 Kč -
Naive Set Theory
536 Kč -
Dictionary of Argumentation
867 Kč -
Logical Dilemmas
1587 Kč -
Limitless Mind
444 Kč -
Category Theory in Context
714 Kč -
Naive Set Theory
282 Kč -
Elements of Mathematics
576 Kč -
Can You Solve My Problems?
302 Kč -
On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems
541 Kč -
Concise Introduction to Pure Mathematics
1569 Kč -
Model Theory
728 Kč -
Category Theory
1995 Kč -
Axiom of Choice
322 Kč -
Teaching Multiplication Using LEGO(R) Bricks
595 Kč -
Foundations of Geometry
268 Kč -
Principles of Mathematics
798 Kč -
First-order Logic
242 Kč -
Handbook of Mathematical Induction
1959 Kč -
Beginner's Further Guide To Mathematical Logic, A
750 Kč -
Names of the Lion
441 Kč -
Categories for the Working Mathematician
1643 Kč -
Conceptual Mathematics
1673 Kč -
Mathematical Logic
1919 Kč -
Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume I: Set Theory
1604 Kč -
Kurt Goedel: Collected Works
2373 Kč -
My Best Mathematical and Logic Puzzles
266 Kč -
Problem-solving Strategies In Mathematics: From Common Approaches To Exemplary Strategies
685 Kč -
Introduction to Logic
322 Kč -
Proofs and Refutations
606 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)