Поиск
На сайте: 567989 статей, 285490 фото.

Program Construction: Calculating Implementations from Specifications (книга)

Program Construction: Calculating Implementations from Specifications
Автор: Roland Backhouse
Roland Backhouse
Оригинал издан: ????

«Program Construction: Calculating Implementations from Specifications»книга ???? года.

Содержание

Содержание

От издателя

«The ever-increasing dependence of our lives and livelihoods on the correct functioning of computer software means that logic and program correctness are core elements of all good computer science degrees. This book presents both these topics in one…»

Рецензии

См. также

Ссылки