«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…»

Рецензии

См. также

Ссылки

Book closed template.gif

Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её.