Program Construction: Calculating Implementations from Specifications

Program Construction: Calculating Implementations from Specifications

まだ評価がありません
2003 · 英語 · 電子書籍 · 2 版
棚に追加

この本を評価する


ブックジャーナルをエクスポート

説明

Unique approach tackles what most books don't-why maths and logic are fundamental tools for a programmerThis comprehensive guide is a balanced combination of mathematical theory and the practice of programmingStraightforward presentation of construction principles inlcuding: assignment axiom, sequential composition, case analysis, use of invariants and bound functionsIncludes a wide range of entertaining and challenging examples and exercises

本の詳細

形式 電子書籍
ページ数 352ページ
言語 英語
公開されました 11月 14, 2003
出版社 Wiley
ISBN-10 0470864540
ISBN-13 9780470864548
棚に追加

この本を評価する


ブックジャーナルをエクスポート