RECURSION IN LOGICS OF PROGRAMS.

被引：0

作者：

Harel, David

机构：

来源：

| 1979年

关键词：

All Open Access; Bronze;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：81 / 92

共 50 条

[31] ALGORITHMS OF STRUCTURED SYNTHESIS OF PROGRAMS.
Tyugyu, E.Kh.
Kharf, M.Ya.
[J]. Programming and Computer Software (English Translation of Programmirovanie), 1980, 6 (04): : 165 - 175
[32] METHODOLOGY FOR DEVELOPING DISTRIBUTED PROGRAMS.
Ramesh, S.
Mehndiratta, S.L.
[J]. IEEE Transactions on Software Engineering, 1987, SE-13 (08): : 967 - 976
[33] MICROCOMPUTER SPEEDS MAINFRAME PROGRAMS.
Humphries, Guy M.
[J]. Oil and Gas Journal, 1984, 82 (07): : 82 - 85
[34] METHOD FOR DETERMINING DIAGNOSTIC PROGRAMS.
Bis, J.
Mlokosiewicz, J.R.
[J]. Journal of Technical Physics, 1984, 25 (02): : 279 - 285
[35] Financing Exports in the Nuclear Programs.
Grau, M.
[J]. 1978, (05): : 380 - 382
[36] Community strategic visioning programs.
Sharp, J
[J]. RURAL SOCIOLOGY, 1997, 62 (04) : 530 - 532
[37] Logical Verification of Concurrent Programs.
Krumm, Heiko
[J]. 1600, (29):
[38] PARENTING PROGRAMS. COMPARATIVE ANALYSIS
Perez-Boveda, Astrid
Yaniz Alvarez de Eulate, Concepcion
[J]. REVISTA ESPANOLA DE ORIENTACION Y PSICOPEDAGOGIA, 2015, 26 (02): : 104 - 122
[39] METHODOLOGY FOR THE DESIGN OF PARALLEL PROGRAMS.
Mattheyses, R.M.
Conry, S.E.
[J]. 1978, : 651 - 655
[40] ACS career assistance programs.
Diggs, E
[J]. ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2003, 225 : U718 - U718