Passer au contenu principal Passer au contenu du pied de page

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions

Yves Bertot

15 décembre 2010

131,50 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 658 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

472

Texts In Theoretical Computer Science. An Eatcs Series

Publié par: Springer/Sci-Tech/Trade

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783642058806

Introduction to Accounting and Managerial Finance, An: A Merger of Equals

Harold Bierman, Jr Couverture rigide
211,95 $
UX Decoded: Think and Implement User-Centered Research Methodologies, and Expert-Led UX Best Practices(English Edition)

Dushyant Kanungo Couverture souple
39,99 $
Bisociative Knowledge Discovery: An Introduction to Concept, Algorithms, Tools, and Applications

Michael R. Berthold Couverture souple
87,95 $
The Art of Intelligent Creation: Unveiling Generative and Responsive AI

Couverture rigide
233,99 $
Multi-Objective, Multi-Class and Multi-Label Data Classification with Class Imbalance: Theory and Practices

Sanjay Chakraborty Couverture rigide
291,95 $
UML Distilled: A Brief Guide to the Standard Object Modeling Language

Martin Fowler Couverture souple
62,49 $
2 formats offerts
Scala for Data Science

Pascal Bugnion Couverture souple
72,99 $
2 formats offerts
Bridging The Gap Between Requirements Engineering And Software Architecture: A Problem-oriented And Quality-driven Metho: A Problem-oriented And Quality-driven Method

Azadeh Alebrahim Couverture souple
145,95 $
Hypermedia Genes: An Evolutionary Perspective on Concepts, Models, and Architectures

Nuno Guimaraes Couverture souple
36,50 $
Search-Based Applications: At the Confluence of Search and Database Technologies

Gregory Grefenstette Couverture souple
38,95 $
A study of well being among teenagers in relation to social media

Joshi Neelima Couverture souple
64,99 $
The 3-d Global Spatial Data Model: Principles And Applications

Earl F. Burkholder Couverture rigide
281,50 $
2 formats offerts
Connectionist Models Of Neurocognition And Emergent Behavior: From Theory To Applications - Proceedings Of The 12th Neural Computation And Psychology Workshop

Eddy J Davelaar Couverture rigide
221,95 $
Digital Libraries: Advancing Open Science

Couverture rigide
201,50 $
Transactional Memory. Foundations, Algorithms, Tools, and Applications: COST Action Euro-TM IC1001

Rachid Guerraoui Couverture souple
80,50 $
The Cache Coherence Problem in Shared-Memory Multiprocessors: Software Solutions

Igor Tartalja Couverture souple
114,95 $
Fundamentals Of Digital Forensics: Theory, Methods, And Real-life Applications

Joakim Kävrestad Couverture souple
87,95 $
6 formats offerts
Introduction to Programming in Java: An Interdisciplinary Approach

Robert Sedgewick Livre numérique Kobo
59,99 $ ~~Réduction sur le prix courant 74,99 $ à~~
IoT, Big Data and AI for Improving Quality of Everyday Life: Present and Future Challenges: IOT, Data Science and Artificial Intelligence Technologies

Pradeep Kumar Singh Couverture rigide
262,95 $
2 formats offerts
Digging Into Software Knowledge Generation in Cultural Heritage: Modeling Assistance Strategies For Large Archaeological Data Sets

Patricia Martin-rodilla Couverture souple
160,95 $
3 formats offerts

Évaluation éditoriale

Auteur

A Recursive Introduction to the Theory of Computation

Carl Smith Couverture souple
80,50 $
2 formats offerts
An Introduction To Online Computation: Determinism, Randomization, Advice

Dennis Komm Couverture souple
102,50 $
2 formats offerts
Guide To Discrete Mathematics: An Accessible Introduction To The History, Theory, Logic And Applications

Gerard O'regan Couverture souple
87,95 $
6 formats offerts
Space-filling Curves: An Introduction With Applications In Scientific Computing

Michael Bader Couverture souple
145,95 $
3 formats offerts
High-dimensional Probability: An Introduction With Applications In Data Science

Roman Vershynin Couverture rigide
88,95 $
A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory

T. H. Tse Couverture souple
53,95 $
2 formats offerts
Elements of Finite Model Theory

Leonid Libkin Couverture souple
145,95 $
2 formats offerts
Logic Programming: Operational Semantics and Proof Theory

James H. Andrews Couverture souple
53,95 $
Linguistic Geometry: From Search to Construction

Boris Stilman Couverture souple
481,95 $
2 formats offerts
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution

Robert L. Carpenter Couverture souple
63,95 $
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 2

Kurt Jensen Couverture souple
159,50 $
2 formats offerts
The Structural Theory of Probability: New Ideas from Computer Science on the Ancient Problem of Probability Interpretati: New Ideas from Computer Science on the Ancient Problem of Probability Interpretation

Paolo Rocchi Couverture souple
160,95 $
2 formats offerts
Discrete Mathematics For Computer Science: An Example-based Introduction

Jon Pierre Fortney Couverture souple
99,50 $
2 formats offerts
Computation and Simulation for Finance: An Introduction with Python

Cónall Kelly Couverture souple
72,95 $
Introduction To Coalgebra: Towards Mathematics Of States And Observation

Bart Jacobs Couverture rigide
193,34 $
Introduction to Circuit Complexity: A Uniform Approach

Heribert Vollmer Couverture souple
124,50 $
2 formats offerts
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1

Kurt Jensen Couverture souple
232,50 $
Analysis on Lie Groups: An Introduction

Jacques Faraut Couverture rigide
134,95 $
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1

Kurt Jensen Couverture rigide
233,95 $
Computation and Simulation for Finance: An Introduction with Python

Cónall Kelly Couverture rigide
87,95 $
2 formats offerts