机读格式显示(MARC)
- 000 01092nam0 2200289 450
- 010 __ |a 978-7-302-18317-4 |d CNY45.00
- 021 __ |a CN |b 01-2008-2285
- 035 __ |a (A100000NLC)003874140
- 049 __ |a A100000NLC |b UCS01001945013 |c 003874140 |d NLC01
- 100 __ |a 20080819d2008 em y0chiy50 ea
- 200 1_ |a 软件开发的形式化工程方法 |A ruan jian kai fa de xing shi hua gong cheng fang fa |e 结构化+面向对象+形式化 |e [英文本] |f (日)Shaoying Liu著
- 210 __ |a 北京 |c 清华大学出版社 |d 2008
- 300 __ |a 国外经典教材·计算机科学与技术
- 330 __ |a 本书中对软件开发中的形式化工程方法进行了介绍和讨论,内容涵盖SE2004中关于“软件的形式化方法”的知识点,主要包括:有限状态机、Statechart、Petri网、通信顺序进程、通信系统演算等。
- 606 0_ |a 软件开发 |A ruan jian kai fa |x 方法 |j 英文
- 701 _0 |c (日) |a 刘少英 |A liu shao ying |4 著
- 801 _2 |a CN |b OLCC |c 20100923
- 905 __ |a XATU |d TP311.52/389