Program construction :calculating implementations from specifications
- 其他作者: Backhouse, Roland C.,
- 出版: New York : Wiley 2003.
- 稽核項: xii, 340 p. :ill. ;24 cm.
- 標題: Computer programming.
- ISBN: 0470848820 , 9780470848821
- 系統號: 005079826
- 資料類型: 圖書
- 讀者標籤: 需登入
- 引用網址: 複製連結
Unique approach tackles what most books don't-why maths and logic are fundamental tools for a programmer This comprehensive guide is a balanced combination of mathematical theory and the practice of programming Straightforward presentation of construction principles inlcuding: assignment axiom, sequential composition, case analysis, use of invariants and bound functions Includes a wide range of entertaining and challenging examples and exercises
來源: Google Book
來源: Google Book
評分
