| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
标签:
用空格间隔多个标签,如:小说 文学 余秋雨
保存至书单:
ZB 2005 : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings / |
|
|
ISBN/ISSN:
|
3540255591 (Berlin) |
|
中图分类法
:
|
TP312-532 |
|
题名:
|
ZB 2005 [formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings ] |
|
出版发行:
|
Berlin : Springer, c2005. |
|
载体形态:
|
xv, 491 p. : ill. ; 24 cm. |
|
丛编:
|
Lecture notes in computer science, |
|
附注:
|
"ZB 2005 was held at the University of Surrey, Guildford, UK..."--Pref. |
|
主题词:
|
B (Computer program language) |
|
主题词:
|
Z (Computer program language) |
|
主要责任者:
|
Treharne, Helen. |
|
标签:
|
|
|
相关资源:
|
|
|
分享资源:
|
|
限定所在馆:
限定所在馆藏地点:
限定馆藏状态:
HEA| |01441cam 2200361 a 4500 001| |022005002643 003| |CAL 005| |20051209083312.0 008| |050428s2005 gw a b 101 0 eng d 010| |▼a 2005923295 015| |▼aGBA541336 020| |▼z9783540255598 (Berlin) 020| |▼a3540255591 (Berlin) 024|3 |▼a9783540255598 040| |▼aUKM▼cUKM▼dDLC▼dSCT 050| 4|▼aQA76.73.B155▼bI58 2005 082|04|▼a005.133▼222 093| |▼aTP312-532▼24 094| |▼a73.9621083▼23 099| |▼aCAL 022005073730 111|2 |▼aInternational Conference of - | |B and Z Users▼n(4th :▼d2005 :▼- | |cUnivesity of Surrey, Guildford) 245|10|▼aZB 2005 :▼bformal specificat- | |ion and development in Z and B- | | : 4th International Conferenc- | |e of B and Z Users, Guildford,- | | UK, April 13-15, 2005 : proce- | |edings /▼cHelen Treharne ... [- | |et al.] (eds.). 260| |▼aBerlin :▼bSpringer,▼cc2005. 300| |▼axv, 491 p. :▼bill. ;▼c24 cm. 440| 0|▼aLecture notes in computer sc- | |ience,▼x0302-9743 ;▼v3455 500| |▼a"ZB 2005 was held at the Uni- | |versity of Surrey, Guildford, - | |UK..."－－Pref. 504| |▼aIncludes bibliographical ref- | |erences and index. 650| 0|▼aB (Computer program language- | |)▼vCongresses. 650| 0|▼aZ (Computer program language- | |)▼vCongresses. 700|1 |▼aTreharne, Helen. 950| |▼aWHUTL▼fTP312-532/I61:4/2005 998| |▼aXJT 999| |▼tC▼Abmwaw▼a20051209 08:32:19▼- | |Ibmwaw▼i20051209 08:33:12▼Gxbl- | |xc▼g20051219 09:48:41
- 温馨提示：只有“所在馆位置”为“社科自科借阅室、文学借阅室”且“馆藏状态”为“在馆”的图书才能借出，其他“馆藏地点”的书均不可借出。
- “所在图书馆”为“典阅室”的图书只能在室内阅览。
- 查询期刊“现刊架号”请查“报刊指南->期刊分类查询表”。