Specifying Software: A Hands-O

进口原版 Computers & Internet（计算机与网络）

ISBN：9780521004015
版次：1
页数：0
出版社：Cambridge University Press
作者：
出版时间：

手机扫码免费下载

纠错留言

#电子书截图

#电子书简介

基本信息

· 书名:Specifying Software

· 作者:R. D. Tennent

· ISBN13:9780521004015

· 装帧:平装

· 语种:英文

· 出版日期:2002-04-01

· 出版社:Cambridge University Press

· 页数:302

· 重量:0.4 kg

· 尺寸:22.6 x 15.2 x 2.3 cm

* 页面参数仅供参考，具体以实物为准.

------ 书籍简介 ------

An introductory textbook on software specifications suitable for programming students with some background in discrete mathematics and logic The author adopts a unique hands on approach presenting basic concepts in the context of numerous small programming examples Topics include assertional notations state diagrams grammars and regular expressions