книги Компьютеры и Интернет Устройство компьютера, “железо”

Coq

Код 1471195

Нет в продаже

Аннотация к книге "Coq"

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. In computer science, Coq is an interactive theorem prover. It allows the expression of mathematical assertions, mechanically checks proofs of these assertions, helps to find formal proofs, and extracts a certified program from the constructive proof of its formal specification. Coq works within the theory of the calculus of inductive constructions, a derivative of the...

Оставить комментарий

Оцените книгу:

Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-6-1331-5313-4
Объём: 92 страниц
Масса: 160 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 1

Вместе с этой книгой покупают

Просмотренные товары

Просмотренные категории

Филология