Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Виж статуса на поръчката

Свържете се с нас

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

Coq'Art: The Calculus of Inductive Constructions

Автор: Yves Bertot, Pierre Castéran, G. Huet, C. Paulin-Mohring

Език:

Корици: С меки корици

Издател: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Наличност: Външен склад

Изпращаме след 5-8 дни

87.71 € 171.55 лв

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

Информация за книгата

Автор

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

Език

Английски език

Корици

Книга - С меки корици

Издадена

2010

страници

472

EAN

9783642058806

ISBN

3642058809

Enbook ID

02129635

Издател

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Теглоt

748

Размери

155 x 235 x 26

Пълно описание

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.