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: 83.12 EUR
Availability: InStock

Coq'Art: The Calculus of Inductive Constructions

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

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

83.12 €

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

Informácie o knihe

Autor

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

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2010

Stránok

472

EAN

9783642058806

ISBN

3642058809

Enbook ID

02129635

Vydavateľ

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnosť

748

Rozmery

155 x 235 x 26

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Interactive Theorem Proving and Program Development

Coq'Art: The Calculus of Inductive Constructions

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež