Interactive Theorem Proving and Program Development

Name: Interactive Theorem Proving and Program Development
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540208549
Price: 45300 HUF
Availability: InStock

Coq'Art: The Calculus of Inductive Constructions

Szerző: Yves Bertot, P. Casteran, G. Huet, C. Paulin-Mohring

Nyelv:

Kötés: Kemény kötésű

Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Elérhetőség: Beszállítói készleten

Küldés 10-13 napon belül

45 300 Ft

Coq is an interactive proof assistant for the development of mathematical theories and formally cert...

Információk a könyvről

Szerző

Yves Bertot, P. Casteran, G. Huet, C. Paulin-Mohring

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

2004

oldal

472

EAN

9783540208549

ISBN

3540208542

Enbook ID

02129535

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

912

Méretek

163 x 239 x 36

Teljes leírás

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.

Érdekelheti

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Interactive Theorem Proving and Program Development

Coq'Art: The Calculus of Inductive Constructions

Információk a könyvről

Teljes leírás

Érdekelheti