| 000 |
|
01281nam0 2200313 450 |
| 001 |
|
1000181307 |
| 005 |
|
20200713105510.0 |
| 010 |
__ |
■a978-7-115-50899-7■dCNY129.00 |
| 100 |
__ |
■a20190918d2019 em y0chiy50 ea |
| 101 |
1_ |
■achi■cfre |
| 102 |
__ |
■aCN■b110000 |
| 105 |
__ |
■aa a 000yy |
| 106 |
__ |
■ar |
| 200 |
1_ |
■aEvent-B建模■d= Modeling in Event-B■e系统和软件工程■esystem and soft+...... |
| 210 |
__ |
■a北京■c人民邮电出版社■d2019.09 |
| 215 |
__ |
■a11, 462页■c图■d26cm |
| 306 |
__ |
■a由Cambridge University Press授权出版 |
| 312 |
__ |
■a英文题名取自封面 |
| 314 |
__ |
■a简·埃蒙德·阿布瑞尔, 法国计算机科学家。 |
| 320 |
__ |
■a有书目 |
| 510 |
1_ |
■aModeling in Event-B■esystem and software engineering■zeng |
| 517 |
1_ |
■a系统和软件工程■Axi tong he ruan jian gong cheng |
| 606 |
0_ |
■a软件工程■x系统建模■Aruan jian gong cheng |
| 690 |
__ |
■aTP311.5■v5 |
| 701 |
_1 |
■a阿布瑞尔■g(Abrial, Jean-Raymond)■4著■Aa bu rui er |
| 702 |
_0 |
■a裘宗燕■4译■Aqiu zong yan |
| 801 |
|
■aCN■bGSXY■c20200713 |
| 905 |
|
■aGSXY■fTP311.5/A159■g1400544■g1400545 |
(共0票)
评价
