| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
标签:
用空格间隔多个标签,如:小说 文学 余秋雨
保存至书单:
Fundamentals of algebraic specification 2 : module specifications and constraints / |
|
|
ISBN/ISSN:
|
0387517995 (U.S. : v. 2) |
|
ISBN/ISSN:
|
3540517995 |
|
中图分类法
:
|
TP311.12 |
|
著者:
|
Ehrig, Hartmut. |
|
题名:
|
Fundamentals of algebraic specification 2 [module specifications and constraints ] |
|
出版发行:
|
Berlin ; : Springer-Verlag, c1990. |
|
载体形态:
|
427 p. : ill. ; 25 cm. |
|
主题词:
|
Data structures (Computer science) |
|
主题词:
|
Algebra. |
|
主要责任者:
|
Mahr, B. (Bernd) |
|
其它题名:
|
Algebraic specification. |
|
标签:
|
|
|
相关主题:
|
|
|
相关资源:
|
|
|
分享资源:
|
|
限定所在馆:
限定所在馆藏地点:
限定馆藏状态:
HEA| |01285nam 2200349 4500 001| |021998013129 003| |CAL 005| |20050614104850.0 008| |850305m19859999wb a b 00110 eng 010| |▼a 85004784 020| |▼a0387517995 (U.S. : v. 2) 020| |▼a3540517995 035| |▼aW144284-85 ZB 040| |▼cNUL 082|00|▼a001.64/2▼219 093| |▼aTP311.12▼23 099| |▼aCAL 021999669153▼aCALB022001- | |395287▼aCAL 021999653268 100|1 |▼aEhrig, Hartmut. 245|10|▼aFundamentals of algebraic sp- | |ecification 2 :▼bmodule specif- | |ications and constraints /▼cH.- | | Ehrig, B. Mahr. 260| |▼aBerlin ;▼aNew York :▼bSpring- | |er-Verlag,▼cc1990. 300| |▼a427 p. :▼bill. ;▼c25 cm. 490|1 |▼aEATCS monographs on theoreti- | |cal computer science ;▼vv. 6, 21 504| |▼aIncludes bibliographies and indexes. 505|1 |▼a1. Equations and initial sem- | |antics －－ 2. Module specificat- | |ions and constraints. 650| 0|▼aData structures (Computer science) 650| 0|▼aAlgebra. 700|1 |▼aMahr, B.▼q(Bernd) 740|01|▼aAlgebraic specification. 830| 0|▼aEATCS monographs on theoreti- | |cal computer science ;▼vv. 6, etc. 950| |▼awhutl▼f51.43/E-33 998| |▼aNUL 999| |▼tC▼Atshs25▼a20050614 10:48:07- | |▼Mtshs25▼m20050614 10:48:50▼Gt- | |shs25▼g20050614 10:49:22
- 温馨提示：只有“所在馆位置”为“社科自科借阅室、文学借阅室”且“馆藏状态”为“在馆”的图书才能借出，其他“馆藏地点”的书均不可借出。
- “所在图书馆”为“典阅室”的图书只能在室内阅览。
- 查询期刊“现刊架号”请查“报刊指南->期刊分类查询表”。