Roland Backhouse 
Program Construction [PDF ebook] 
Calculating Implementations from Specifications

支持

Most texts on logic or discrete math fail to show why math and logic are fundamental tools for programmers. Program Construction illustrates the importance of math and logic to programming, providing a complete, self-contained account of the principles of logical reasoning. Designed specifically so users can construct programs that meet their specifications, the book details program construction principles in a straightforward fashion, avoiding overly complicated theory, and then illustrating each with convincing examples.

€55.15
支付方式
购买此电子书可免费获赠一本!
语言 英语 ● 格式 PDF ● ISBN 9780470864548 ● 出版者 Wiley ● 发布时间 2003 ● 下载 6 时 ● 货币 EUR ● ID 2324923 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器

来自同一作者的更多电子书 / 编辑

16,637 此类电子书