Formal Specification Using Z (Paperback)
 
作者: David Lightfoot 
書城編號: 355454

原價: HK$770.00
現售: HK$731.5 節省: HK$38.5

購買此書 10本或以上 9折, 60本或以上 8折

購買後立即進貨, 約需 18-25 天

 
 
出版社: Palgrave Macmillan
出版日期: 2000/12/06
尺寸: 245x187x9mm
ISBN: 9780333763278

商品簡介


Formal specification is a technique for specifying what is required of a computer system clearly, concisely and without ambiguity. Z is a leading notation for formal specification.
Formal Specification Using Z is an introductory book intended for the many software engineers and students who will benefit from learning about this important topic in software engineering. It is intended for non-mathematicians, and it introduces the ideas in a constructive style, building each new concept on the ones already covered. Each chapter is followed by a set of exercises, and sample solutions are provided for all of these in an appendix.

David Lightfoot 作者作品表

eBook: Natural Logic and the Greek Moods: The Nature of the Subjunctive and Optative in Classical Greek (DRM PDF)

Formal Specification Using Z (Paperback)

How to Set Parameters (Paperback)

* 以上資料僅供參考之用, 香港書城並不保證以上資料的準確性及完整性。
* 如送貨地址在香港以外, 當書籍/產品入口時, 顧客須自行繳付入口關稅和其他入口銷售稅項。

 

 

 

  我的賬戶 |  購物車 |  出版社 |  團購優惠
加入供應商 |  廣告刊登 |  公司簡介 |  條款及細則

香港書城 版權所有 私隱政策聲明

顯示模式: 電腦版 (改為: 手機版)