ABSTRACT SPECIFICATION OF MATHEMATICAL STRUCTURES AND METHODS

被引：0

|

作者：

LIMONGELLI, C ^{[1
]}

MELE, MB ^{[1
]}

REGIO, M ^{[1
]}

TEMPERINI, M ^{[1
]}

机构：

[1] CNR, IST ANAL SIST & INFORMAT, I-00185 ROME, ITALY

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 429卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：61 / 70

页数：10

相关论文

共 50 条

[1] ABSTRACT SPECIFICATION OF STRUCTURES AND METHODS IN SYMBOLIC MATHEMATICAL COMPUTATION
LIMONGELLI, C
TEMPERINI, M
[J]. THEORETICAL COMPUTER SCIENCE, 1992, 104 (01) : 89 - 107
[2] MATHEMATICAL METHODS OF CONTROLLING ABSTRACT TRANSFORMATIONS
ZHURAVLEV, YI
[J]. DOKLADY AKADEMII NAUK SSSR, 1958, 123 (02): : 227 - 230
[3] Abstract specification theory: An overview
Tarlecki, A
[J]. MODELS, ALGEBRAS AND LOGIC OF ENGINEERING SOFTWARE, 2003, 191 : 43 - 79
[4] SPECIFICATION AND IMPLEMENTATION OF CONCURRENTLY ACCESSED DATA-STRUCTURES - AN ABSTRACT DATA TYPE APPROACH
KAPLAN, S
PNUELI, A
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 247 : 220 - 244
[5] MATHEMATICAL METHODS USED IN COMPARISON OF QUATERNARY STRUCTURES
COX, JM
[J]. JOURNAL OF MOLECULAR BIOLOGY, 1967, 28 (01) : 151 - &
[6] ABSTRACT MATHEMATICAL ART
PERRY, KE
[J]. BYTE, 1986, 11 (13): : 181 - &
[7] EQUATIONAL SPECIFICATION OF ABSTRACT TYPES AND COMBINATORS
MEINKE, K
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 626 : 257 - 271
[8] A FORMAL METHOD FOR THE ABSTRACT SPECIFICATION OF SOFTWARE
MCLEAN, J
[J]. JOURNAL OF THE ACM, 1984, 31 (03) : 600 - 627
[9] ALGEBRAIC SPECIFICATION OF ABSTRACT DATA TYPES
GUTTAG, JV
HORNING, JJ
[J]. ACTA INFORMATICA, 1978, 10 (01) : 27 - 52
[10] MSL - A MATHEMATICAL SPECIFICATION LANGUAGE
MAKAROV, VP
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 620 : 305 - 313

← 1 2 3 4 5 →