Catalog > Scienza > Matematica > Yves Bertot & Pierre Casteran: Interactive Theorem Proving and Program Development (PDF)

Yves Bertot & Pierre Casteran
Interactive Theorem Proving and Program Development [PDF ebook]
Coq’Art: The Calculus of Inductive Constructions

Supporto

Copertina di Yves Bertot & Pierre Casteran: Interactive Theorem Proving and Program Development (PDF)

Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory.This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

€89.31

Acquista questo ebook e ricevine 1 in più GRATIS!

Lingua Inglese ● Formato PDF ● ISBN 9783662079645 ● Casa editrice Springer Berlin Heidelberg ● Pubblicato 2013 ● Scaricabile 3 volte ● Moneta EUR ● ID 6342918 ● Protezione dalla copia Adobe DRM

Richiede un lettore di ebook compatibile con DRM

Altri ebook dello stesso autore / Editore

Yves Bertot Pierre Casteran

50.053 Ebook in questa categoria

Copertina di Bruce J. Chalmer: Understanding Statistics

Bruce J. Chalmer: Understanding Statistics

Introducing undergraduates to the vital concepts of statistics, this superb textbook allows instructors to include as much—or as little—mathematical detail as may be suitable for their students. Feat …

Copertina di Phillipe Clement: semigroup theory and applications

Phillipe Clement: semigroup theory and applications

This book contains articles on maximal regulatory problems, interpolation spaces, multiplicative perturbations of generators, linear and nonlinear evolution equations, integrodifferential equations, …

Copertina di Chris Chatfield: Problem Solving

Chris Chatfield: Problem Solving

This book illuminates the complex process of problem solving, including formulating the problem, collecting and analyzing data, and presenting the conclusions. …

Copertina di Nobuyuki Yoshigahara: Puzzles 101

Nobuyuki Yoshigahara: Puzzles 101

This latest collection of puzzles from the internationally acclaimed puzzlemaster Nob Yoshigahara covers a wide variety of puzzles from physical to visual, conceptual to mathematical. Solutions are p …

Copertina di Ashok Chatterjee & Soma (DVR College of Engineering and Technology, Hyderabad, India) Mukhopadhyay: Polarons and Bipolarons

Ashok Chatterjee & Soma (DVR College of Engineering and Technology, Hyderabad, India) Mukhopadhyay: Polarons and Bipolarons

This book provides a comprehensive review of the subject of polaron and a thorough account of the sophisticated theories of the polaron. It explains the concept of the polaron physics in as simple a …

Copertina di James H Bramble: Multigrid Methods

James H Bramble: Multigrid Methods

Multigrid methods are among the most efficient iterative methods for the solution of linear systems which arise in many large scale scientific calculations. Every researcher working with the numerica …

Copertina di Stephen F. Mccormick: multigrid methods

Stephen F. Mccormick: multigrid methods

This book is a collection of research papers on a wide variety of multigrid topics, including applications, computation and theory. It represents proceedings of the Third Copper Mountain Conference o …

Copertina di Susan J. Andima: General Topology and Applications

Susan J. Andima: General Topology and Applications

This book is based on the proceedings of the Fifth Northeast Conference on General Topology and Applications, held at The College of Staten Island – The City University of New York. It provides insig …

Copertina di Jessica S Purcell: Hyperbolic Knot Theory

Jessica S Purcell: Hyperbolic Knot Theory

This book provides an introduction to hyperbolic geometry in dimension three, with motivation and applications arising from knot theory. Hyperbolic geometry was first used as a tool to study knots by …

Copertina di Gary L. (The Pennsylvania State University, University Park, USA) Mullen & James A. (The Pennsylvania State University, University Park, USA) Sellers: Abstract Algebra

Gary L. (The Pennsylvania State University, University Park, USA) Mullen & James A. (The Pennsylvania State University, University Park, USA) Sellers: Abstract Algebra

Abstract Algebra: A Gentle Introduction advantages a trend in mathematics textbook publishing towards smaller, less expensive and brief introductions to primary courses. The authors move away from th …

Pagina successiva >>>