THE MATHEMATICAL CONSTRUCTION OF A PROGRAM

被引：2
|
作者：
ABRIAL, JR
机构：
来源：
SCIENCE OF COMPUTER PROGRAMMING | 1984年 / 4卷 / 01期
关键词：
D O I：
10.1016/0167-6423(84)90011-X
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：45 / 86
页数：42
相关论文
共 50 条
  • [41] Exploring Mathematical Definition Construction Processes
    Cecile Ouvrier-Buffet
    Educational Studies in Mathematics, 2006, 63 (3) : 259 - 282
  • [42] Hume on the social construction of mathematical knowledge
    Demeter, Tamas
    SYNTHESE, 2019, 196 (09) : 3615 - 3631
  • [43] Mathematical modeling and aging: Research program
    Novoseltsev V.N.
    Mikhalskii A.I.
    Advances in Gerontology, 2011, 1 (1) : 95 - 106
  • [44] A CONVERSATIONAL PROGRAM SYSTEM FOR MATHEMATICAL OPTIMIZATION
    HANZALEK, P
    HREBICEK, J
    KUCERA, J
    COMPUTER PHYSICS COMMUNICATIONS, 1986, 41 (2-3) : 403 - 408
  • [45] A RELAXATION OF THE CONSTRAINTS FOR A CONVEX MATHEMATICAL PROGRAM
    SCOTT, CH
    JEFFERSON, TR
    KULSHRESTHA, DK
    NEW ZEALAND OPERATIONAL RESEARCH, 1982, 10 (01): : 29 - 34
  • [46] READING MATHEMATICAL PROBLEMS STRATEGIC PROGRAM
    Carme Balaguer Fabregas, M.
    Vidal Ramentol, Salvador
    REVISTA DE COMUNICACION DE LA SEECI, 2014, (33): : 25 - 43
  • [47] PLEA FOR A LIBERAL PROGRAM IN MATHEMATICAL SCIENCES
    HOGG, RV
    AMERICAN MATHEMATICAL MONTHLY, 1971, 78 (10): : 1131 - +
  • [48] Mathematical talent program in basic education
    Butto Zarzar, Cristianne
    Delgado, Joaquin
    ZONA PROXIMA, 2020, 32 : 1 - 33
  • [49] COMPUTER PROGRAM FOR THE STUDY OF MATHEMATICAL MATRICES
    Reitz Cardoso, Flavia Aparecida
    Brandao Vecchi, Thelma Prete
    Veiga, Felipe
    7TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE (INTED2013), 2013, : 4049 - 4058
  • [50] A generalized mathematical program with equilibrium constraints
    Outrata, JV
    SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 2000, 38 (05) : 1623 - 1638
12345