Interactive Theorem Proving and Program Development

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

Coq'Art: The Calculus of Inductive Constructions

Szerző: Yves Bertot, Pierre Castéran, G. Huet, C. Paulin-Mohring

Nyelv:

Kötés: Puha 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 5-8 napon belül

32 659 Ft

A practical introduction to the development of proofs and certified programs using Coq. §An invaluab...

Információk a könyvről

Szerző

Yves Bertot, Pierre Castéran, G. Huet, C. Paulin-Mohring

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2010

oldal

472

EAN

9783642058806

ISBN

3642058809

Enbook ID

02129635

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

748

Méretek

155 x 235 x 26

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

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

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták