| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
标签:
用空格间隔多个标签,如:小说 文学 余秋雨
保存至书单:
Computer-aided verification : proceedings / |
|
|
ISBN/ISSN:
|
3540544771 |
|
ISBN/ISSN:
|
0387544771 : 价格： Y22.50 |
|
中图分类法
:
|
TP391.7-53 |
|
题名:
|
Computer-aided verification [proceedings ] |
|
出版发行:
|
Berlin ; : Springer-Verlag, c1991. |
|
载体形态:
|
xiii, 372 p. : ill. ; 24 cm. |
|
丛编:
|
Lecture notes in computer science ; |
|
主题词:
|
Digital integrated circuits Design and construction Data processing Congresses. |
|
主题词:
|
Computer-aided design Congresses. |
|
主要责任者:
|
Clarke, E.M., 1945- |
|
主要责任者:
|
Kurshan, R.P., 1943- |
|
标签:
|
|
|
相关资源:
|
|
|
分享资源:
|
|
限定所在馆:
限定所在馆藏地点:
限定馆藏状态:
HEA| |01333nam 2200325 450 003| |CAL 005| |20050608092557.0 008| |980327s1991 gw a b 10010 eng 010| |▼a 91026277 //r942 020| |▼a3540544771 020| |▼a0387544771 :▼cY22.50 040| |▼aDLC▼cDLC▼dDLC 050|00|▼aTK7874▼b.D553 1990a 082|00|▼a621.381/5▼220 093| |▼aTP391.7-53▼23 094| |▼a73.87083▼22 099| |▼aCAL 022000323350 111|2 |▼aDIMACS Workshop on Computer－－ | |Aided Verification▼n(2nd :▼d19- | |90 :▼cCenter for Discrete Math- | |ematics and Theoretical Comput- | |er Science) 245|10|▼aComputer-aided verification - | |:▼bproceedings /▼c2nd Internat- | |ional Conference, CAV \'90, New- | | Brunswick, NJ, USA, June 18-2- | |1, 1990 ; E.M. Clarke, R.P. Ku- | |rshan (eds.). 260| |▼aBerlin ;▼aNew York :▼bSpring- | |er-Verlag,▼cc1991. 300| |▼axiii, 372 p. :▼bill. ;▼c24 cm. 440| 0|▼aLecture notes in computer sc- | |ience ;▼v531 504| |▼aIncludes bibliographical references. 650| 0|▼aDigital integrated circuits▼- | |xDesign and construction▼xData- | | processing▼xCongresses. 650| 0|▼aComputer-aided design▼xCongresses. 700|1 |▼aClarke, E.M.,▼d1945- 700|1 |▼aKurshan, R.P.,▼d1943- 950| |▼awhutl▼f73.87083/C597 998| |▼aSJT 999| |▼tC▼Atshs23▼a20050608 09:25:17- | |▼Mtshs23▼m20050608 09:25:57▼Gt- | |shs23▼g20050608 09:26:14
- 温馨提示：只有“所在馆位置”为“社科自科借阅室、文学借阅室”且“馆藏状态”为“在馆”的图书才能借出，其他“馆藏地点”的书均不可借出。
- “所在图书馆”为“典阅室”的图书只能在室内阅览。
- 查询期刊“现刊架号”请查“报刊指南->期刊分类查询表”。