» » Interactive Theorem Proving and Program Development
Информация к новости
  • Просмотров: 23
  • Автор: Bo0mB0om
  • Дата: 21-04-2016, 09:24
21-04-2016, 09:24

Interactive Theorem Proving and Program Development

Категория: Книги

Interactive Theorem Proving and Program Development
Yves Bertot, "Interactive Theorem Proving and Program Development"
English | 2004 | ISBN: 3540208542 | PDF | pages: 491 | 10,1 mb




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.




DOWNLOAD
(Buy premium account for maximum speed and resumming ability)

Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
Мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.

 

 

Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.

 

Анонсы партнерских материалов

 

 

Архив новостей

Декабрь 2016 (33)
Ноябрь 2016 (1126)
Октябрь 2016 (1262)
Сентябрь 2016 (949)
Август 2016 (1005)
Июль 2016 (1015)
^