Program Construction: Calculating Implementations from...

Main
Computers - Programming
Program Construction: Calculating...

Program Construction: Calculating Implementations from Specifications

Name: Program Construction: Calculating Implementations from Specifications
ISBN: 9780470848821

Roland Backhouse

0 / 0

1 comment

この本はいかがでしたか？

ファイルの質はいかがですか？

質を評価するには、本をダウンロードしてください。

ダウンロードしたファイルの質はいかがでしたか？

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

カテゴリー:

Computers - Programming

年:

2003

版:

出版社:

John Wiley & Sons, Ltd

言語:

english

ページ:

353

ISBN 10: