机读格式显示(MARC)

• 000 01665nam2 2200409 4500

• -01 __gzk0106254

• -09 __zyk0198948

• -98 __bm2

• -99 __tsg01

• 001 0000198923

• 005 20100908085425.5

• 010 __ |a 978-7-302-20891-4 |d CNY79.00

• 100 __ |a 20100908d2010 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 软件工程 |A ruan jian gong cheng |h 卷2 |i 系统与语言规约 |d = Software engineering |h 2 |i Specification of systems and languages |f Dines Bjorner著 |g 刘伯超, 向剑文等译 |z eng

• 210 __ |a 北京 |c 清华大学出版社 |d 2010

• 215 __ |a xxvii, 646页 |c 图 |d 26cm

• 225 2_ |a 世界著名计算机教材精选 |A shi jie zhu ming ji suan ji jiao cai jing xuan

• 306 __ |a 由Springer-Verlag授权

• 314 __ |a 责任者Bjorner规范汉译姓 : 比约尼尔

• 320 __ |a 有书目 (第621-646页)

• 330 __ |a 本书介绍了描述系统与语言的规约的基本原理和技术，首先讲授一些高级的原理和技术；分层与组合、指称与计算以及构型；环境与状态的抽象与建模，然后讲授符号学建模的基本原理和技术；语用、语义以及系统和语句的句法。

• 333 __ |a 高校计算机专业学生、教师以及研究人员，工业和计算机产业界。

• 410 _0 |1 2001 |a 世界著名计算机教材精选

• 500 10 |a Software engineering |h 2 |i Specification of systems and languages |m Chinese

• 517 1_ |a 系统与语言规约 |A xi tong yu yu yan gui yue

• 606 0_ |a 软件工程 |A ruan jian gong cheng |j 教材

• 690 __ |a TP311.5 |v 4

• 701 _1 |a 比约尼尔 |A bi yue ni er |g (Bjorner, Dines) |4 著

• 702 _0 |a 刘伯超 |A liu bo chao |4 译

• 702 _0 |a 向剑文 |A xiang jian wen |4 译

• 801 _0 |a CN |b 江苏新华 |c 20100908

• 905 __ |a ASTU |d TP311.5/158/2

• 915 __ |b 1500949 |d TP311.5 |e 158 |f 1 |v 2