| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
标签:
用空格间隔多个标签,如:小说 文学 余秋雨
保存至书单:
Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings / |
|
|
ISBN/ISSN:
|
354024297X (pbk.) |
|
中图分类法
:
|
TP311.1-532 |
|
题名:
|
Verification, model checking, and abstract interpretation [6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings ] |
|
其它题名:
|
VMCAI 2005 |
|
出版发行:
|
Berlin ; : Springer, c2005. |
|
载体形态:
|
xi, 481 p. : ill. ; 24 cm. |
|
丛编:
|
Lecture notes in computer science, |
|
附注:
|
"This volume contains the papers accepted for presentation at the 6th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2005), which was held January 17-19, 2005 in Paris, France."--preface. |
|
主题词:
|
Computer programs Verification |
|
主要责任者:
|
Cousot, Radhia. |
|
标签:
|
|
|
相关资源:
|
|
|
分享资源:
|
|
限定所在馆:
限定所在馆藏地点:
限定馆藏状态:
HEA| |01612cam 2200349 a 4500 001| |022005002690 003| |CAL 005| |20051209150914.0 007| |cr un－－－－－－－－- 008| |050131s2005 gw a b 101 0 eng d 010| |▼a 2004117275 020| |▼a354024297X (pbk.) 040| |▼aOHX▼cOHX▼dLWU▼dOCLCQ▼dC$Q▼dSCT 050| 4|▼aQA76.76.V47▼bV53 093| |▼aTP311.1-532▼24 094| |▼a73.961083▼23 099| |▼aCAL 022005036458 111|2 |▼aVMCAI 2005▼n(6th :▼d2005 :▼c- | |Paris, France) 245|10|▼aVerification, model checking- | |, and abstract interpretation - | |:▼b6th international conferenc- | |e, VMCAI 2005, Paris, France, - | |January 17-19, 2005 : proceedi- | |ngs /▼cRadhia Cousot (ed.). 246|30|▼aVMCAI 2005 260| |▼aBerlin ;▼aNew York :▼bSpring- | |er,▼cc2005. 300| |▼axi, 481 p. :▼bill. ;▼c24 cm. 440| 0|▼aLecture notes in computer sc- | |ience,▼x0302-9743 ;▼v3385 500| |▼a"This volume contains the pa- | |pers accepted for presentation- | | at the 6th International Conf- | |erence on Verification, Model - | |Checking and Abstract Interpre- | |tation (VMCAI 2005), which was- | | held January 17-19, 2005 in P- | |aris, France."－－preface. 504| |▼aIncludes bibliographical ref- | |erences and index. 530| |▼aAvailable also through Springer LINK. 650| 0|▼aComputer programs▼xVerificat- | |ion▼vCongresses. 700|1 |▼aCousot, Radhia. 856|41|▼uhttp://springerlink.com/open- | |url.asp?genre=issue&issn=0302－－ | |9743&volume=3385&issue=preprin- | |t▼zSpringer LINK version 950| |▼aWHUTL▼fTP311.1-532/V871:6/2005 998| |▼aXJT 999| |▼tC▼Abmwaw▼a20051209 15:07:33▼- | |Ibmwaw▼i20051209 15:09:14▼Gxbl- | |xc▼g20051219 09:49:05
- 温馨提示：只有“所在馆位置”为“社科自科借阅室、文学借阅室”且“馆藏状态”为“在馆”的图书才能借出，其他“馆藏地点”的书均不可借出。
- “所在图书馆”为“典阅室”的图书只能在室内阅览。
- 查询期刊“现刊架号”请查“报刊指南->期刊分类查询表”。