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

14 mai 2004

175,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 878 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: 9783540208549

Malware Diffusion Models For Modern Complex Networks: Theory And Applications

Vasileios Karyotis Couverture souple
177,95 $
2 formats offerts
Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Wolfgang Schreiner Couverture rigide
124,50 $
2 formats offerts
Advanced Control Systems - Theory And Applications

Yuriy P. Kondratenko Couverture rigide
159,95 $
3 formats offerts
Group-Theoretic Algorithms and Graph Isomorphism

C M Hoffmann Couverture souple
32,50 $
Quantum Computing in the Arts and Humanities: An Introduction to Core Concepts, Theory and Applications

Eduardo Reck Miranda Couverture souple
233,95 $
Quantum Computing In The Arts And Humanities: An Introduction To Core Concepts, Theory And Applications

Eduardo Reck Miranda Couverture rigide
233,95 $
2 formats offerts
High Performance Sql Server: Consistent Response For Mission-critical Applications

Benjamin Nevarez Couverture souple
80,50 $
4 formats offerts
Concept Data Analysis: Theory and Applications

Claudio Carpineto Couverture rigide
167,95 $
Human-Computer Interaction. Theories, Methods, and Human Issues: 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

Masaaki Kurosu Couverture souple
175,50 $
2 formats offerts
WiFi signal-based user authentication

Jiadi Yu Couverture souple
65,95 $
2 formats offerts
Gesture Recognition: Theory and Applications

Qiguang Miao Couverture souple
251,95 $
2 formats offerts
Introduction to One Digital Identity: Strategies, Innovations, and Future Trends

Shivakumar R. Goniwada Couverture souple
80,50 $
2 formats offerts
Decision Support Systems XIII. Decision Support Systems in An Uncertain World: The Contribution of Digital Twins: 9th International Conference on Decision Support System Technology, ICDSST 2023, Albi, France, May 30 - June 1, 2023, Proceedings

Shaofeng Liu Couverture souple
102,50 $
2 formats offerts
Semantic Networks for Understanding Scenes

Gerhard Sagerer Couverture souple
248,50 $
2 formats offerts
Social Interaction, Globalization and Computer-Aided Analysis: A Practical Guide to Developing Social Simulation

Alexander Osherenko Couverture rigide
80,50 $
2 formats offerts
Data Manipulation with R

MD Jaynal Abedin Couverture souple
29,99 $
Introduction to Lattice Theory with Computer Science Applications

Vijay K. Garg Couverture rigide
133,70 $
2 formats offerts
Digitalization: The New Normal Of the Post-Pandemic World: (Beginner's Guide to Digital Transformation)

Couverture souple
12,95 $
Toward Connected, Cooperative and Intelligent IoV: Frontier Technologies and Applications

Kai Liu Couverture rigide
321,50 $
2 formats offerts
Effective Concurrency in Go: Develop, analyze, and troubleshoot high performance concurrent applications with ease

Burak Serdar Couverture souple
50,99 $
2 formats offerts

Évaluation éditoriale

Auteur

Duration Calculus: A Formal Approach to Real-Time Systems

Chaochen Zhou Couverture souple
159,50 $
2 formats offerts
An Introduction To Online Computation: Determinism, Randomization, Advice

Dennis Komm Couverture souple
102,50 $
2 formats offerts
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints

Hartmut Ehrig Couverture souple
80,50 $
2 formats offerts
Introduction to Circuit Complexity: A Uniform Approach

Heribert Vollmer Couverture souple
124,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
Introduction To Concurrency Theory: Transition Systems And Ccs

Roberto Gorrieri Couverture souple
80,50 $
2 formats offerts
A Recursive Introduction to the Theory of Computation

Carl Smith Couverture souple
80,50 $
2 formats offerts
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
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 2

Kurt Jensen Couverture souple
159,50 $
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 $
Process Algebra with Timing

J.C.M. Baeten Couverture souple
80,50 $
2 formats offerts
Introduction to Process Algebra

Wan Fokkink Couverture souple
80,50 $
2 formats offerts
Feedback Arc Set: A History of the Problem and Algorithms

Robert Kudeli Couverture souple
80,50 $
2 formats offerts
Domain Science and Engineering: A Foundation for Software Development

Dines Bjorner Couverture souple
291,95 $
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1

Kurt Jensen Couverture souple
232,50 $
Domain Science and Engineering: A Foundation for Software Development

Dines Bjorner Couverture rigide
291,95 $
Verification of Reactive Systems: Formal Methods and Algorithms

Klaus Schneider Couverture souple
80,50 $
Introduction to the Theory of Programming Languages

Gilles Dowek Couverture souple
58,50 $
2 formats offerts
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1

Kurt Jensen Couverture rigide
233,95 $
Unfoldings: A Partial-Order Approach to Model Checking

Javier Esparza Couverture souple
160,95 $
2 formats offerts