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
Mohlo by se vám také líbit
-
Berserk Deluxe Volume 7
854 Kč -
Frieren: Beyond Journey's End, Vol. 1
205 Kč -
Scum Villain's Self-Saving System: Ren Zha Fanpai Zijiu Xitong (Novel) Vol. 1
342 Kč -
Outwitting the Devil: The Complete Text, Reproduced from Napoleon Hill's Original Manuscript, Including Never-Before-Published Content
303 Kč -
Delicious in Dungeon, Vol. 1
275 Kč -
Dare to Sketch
412 Kč -
Creativity, Inc.
400 Kč -
Nevernight
227 Kč -
Cambridge Advanced Learner's Dictionary
753 Kč -
Tales from the Loop
568 Kč -
Rust For Rustaceans
786 Kč -
Field Guide to Mammals of Europe, North Africa and the Middle East
645 Kč -
Art of Noticing
366 Kč -
Moriarty the Patriot, Vol. 11
191 Kč -
Computer Networks, Global Edition
1986 Kč -
Merriam-Webster Visual Dictionary
722 Kč -
Infinite Powers
235 Kč -
My Friends
502 Kč -
The Good Karma Tarot
429 Kč -
If I Had Your Face
303 Kč -
Making Bead Flowers and Bouquets
225 Kč -
If on a Winter's Night a Traveller
358 Kč -
Let Over Lambda
903 Kč -
Type Theory and Formal Proof
2188 Kč -
Programming in Haskell
1011 Kč -
House of Flowers
608 Kč -
How to Set Up an Flr
517 Kč -
Hot and Steamy Volume 2 (Hentai Manga)
382 Kč -
Discrete Mathematics and Graph Theory
658 Kč -
Box T Air Power: The Aviation Art of Model Airplane Boxes
517 Kč -
Torch Against the Night
210 Kč -
RaW Hero, Vol. 1
278 Kč -
Writing A C Compiler: Build a Real Programming Language from Scratch
1098 Kč -
The Anne of Green Gables Devotional: A Chapter-By-Chapter Companion for Kindred Spirits
288 Kč -
Fence Vol. 1
185 Kč -
Prisma
608 Kč -
What to Do When You're Having Two
335 Kč -
Mary Shelley Horror Stories
518 Kč -
Grumpy Monkey Freshly Squeezed
194 Kč -
Lambda Calculus. Its Syntax and Semantics
682 Kč -
Beyond the Trees: A Journey Alone Across Canada's Arctic
297 Kč -
Einstein's Fridge
227 Kč -
Toussaint Louverture: The Story of the Only Successful Slave Revolt in History
412 Kč -
Enneagram Essentials: 125 Cards for Self-Awareness and Connection
393 Kč -
Age of Cryptocurrency
314 Kč -
Christian Louboutin
2695 Kč -
Practical Engine Airflow
737 Kč -
English Medieval Embroidery
844 Kč -
GM Turbo 350 Transmissions
608 Kč -
Yoga Therapy for Children with Autism and Special Needs
696 Kč -
Beginning x64 Assembly Programming
775 Kč -
Types and Programming Languages
2259 Kč -
Death by Water
292 Kč -
Designing Software Architectures
1167 Kč -
Poker Satellite Strategy
490 Kč -
Pain is Really Strange
269 Kč -
Meditation for Beginners
308 Kč -
Imagine You Are An Aluminum Atom
409 Kč -
The Anatomy Coloring Book: A Complete Study Guide (9th Edition)
199 Kč -
Royal Navy 1793-1815
438 Kč -
Walden & Civil Disobedience
225 Kč -
Last Great Mountain: The First Ascent of Kangchenjunga
446 Kč -
The Lords of Discipline
343 Kč -
Ethereum for Business: A Plain-English Guide to the Use Cases That Generate Returns from Asset Management to Payments to Supply Chains
367 Kč -
STDS9 & THE USS DEFIANT ILLU HNDBK
572 Kč -
Cadillac CTS Automotive Repair Manual
955 Kč -
Four Pillars of Geometry
924 Kč -
An Introduction to Classical and Modal Logics
795 Kč -
Lambda Calculus with Types
2529 Kč -
Ignite English: Student Book 3
674 Kč -
Everyday Grace
325 Kč -
Investing in Hedge Funds
641 Kč -
Made In Poland
512 Kč -
Harry Potter: Feasts & Festivities: An Official Book of Magical Celebrations, Crafts, and Party Food Inspired by the Wizarding World
715 Kč -
Basic Proof Theory
1505 Kč -
Understanding Central Europe
1578 Kč -
Younger
656 Kč -
Adventures of Sinbad the Sailor
205 Kč -
Chinese Girls: Hot Sexy Chinese Lingerie Girls Models Pictures
360 Kč -
Die verrückte Geschichte der Welt
310 Kč -
The Other Miss Bridgerton: A Bridgerton Prequel
442 Kč -
Lionel Messi (Real Bios)
158 Kč -
Armenian History
358 Kč -
Programming with Types
1280 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
Nákupem získáte 196 bodů
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
1958 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
-
Alan Turing's Systems of Logic
358 Kč -
Category Theory in Context
568 Kč -
Set Theory, Logic and their Limitations
1475 Kč -
Proofs and Refutations
475 Kč -
Can You Solve My Problems?
248 Kč -
Goedel's Proof
303 Kč -
Logic: A Very Short Introduction
225 Kč -
Introduction to Logic and to the Methodology of Deductive Sciences
279 Kč -
Beginner's Guide to Mathematical Logic
480 Kč -
Foundation Maths
1651 Kč -
Set Theory and the Continuum Hypothesis
256 Kč -
Set Theory and Logic
413 Kč -
Introduction to Logic
256 Kč -
Naive Set Theory
239 Kč -
Set Theory
4707 Kč -
Philosophical Applications of Modal Logic
847 Kč -
Goedel's Proof
1612 Kč -
How to Read and Do Proofs - An Introduction to Mathematical Thought Processes, Sixth Edition
2128 Kč -
To Mock a Mockingbird: and Other Logic Puzzles
590 Kč -
Model Theory
567 Kč -
First-order Logic
194 Kč -
Conceptual Mathematics
1565 Kč -
Problem-solving Strategies In Mathematics: From Common Approaches To Exemplary Strategies
584 Kč -
Foundations of Mathematics and Other Logical Essays
405 Kč -
Introduction to Mathematical Logic
489 Kč -
Math Mammoth Grade 4-B Worktext
478 Kč -
Contributions to the Founding of the Theory of Transfinite Numbers
297 Kč -
Lambda-Calculus and Combinators
2101 Kč -
Categories for Types
2097 Kč -
Illustrated Book of Bad Arguments
313 Kč -
Limitless Mind
413 Kč -
Naive Set Theory
248 Kč -
Foundations of Geometry
228 Kč -
Topoi
489 Kč -
Naive Set Theory
228 Kč -
Categories for the Working Mathematician
1291 Kč -
Set Theory
589 Kč -
Taking Sudoku Seriously
810 Kč -
Undecidable Theories
256 Kč -
Beginner's Further Guide To Mathematical Logic, A
584 Kč -
Sets for Mathematics
1565 Kč -
Algebraic Logic
274 Kč -
Haskell Road to Logic, Maths and Programming
576 Kč -
Gödel's Incompleteness Theorems
1269 Kč -
From Frege to Goedel
1314 Kč -
Lattice Theory: Foundation
1923 Kč -
Handbook of Epistemic Logic
682 Kč -
Axiomatic Set Theory
362 Kč -
Computability and Logic
991 Kč
O tomto obchodě
Nákupní rádce
Přehledy
Knihy podle jazyka
Osobní odběr Praha, Brno a 46829 dalších
Copyright ©2008-26 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Vrácení do měsíce
571 999 099 (8-15.30h)