FOUNDATIONS OF COMPOSITIONAL PROGRAM REFINEMENT - SAFETY PROPERTIES .1.

被引：0

|

作者：

GERTH, R

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 430卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：777 / 807

页数：31

相关论文

共 50 条

[31] REFINEMENT OF CRYSTAL STRUCTURE OF APOPHYLLITE .1. X-RAY DIFFRACTION AND PHYSICAL PROPERTIES
COLVILLE, AA
ANDERSON, CP
BLACK, PM
AMERICAN MINERALOGIST, 1971, 56 (7-8) : 1222 - &
[32] CRYSTALLIZATION OF PHOSPHATE GLASSES .1. COMPOSITIONAL EFFECTS
LONGMAN, GW
WIGNALL, GD
JOURNAL OF MATERIALS SCIENCE, 1973, 8 (02) : 212 - 220
[33] POTATO WASTE MEAL .1. COMPOSITIONAL ANALYSES
HULAN, HW
PROUDFOOT, FG
ZARKADAS, CG
CANADIAN JOURNAL OF ANIMAL SCIENCE, 1982, 62 (04) : 1161 - 1169
[34] SAFETY SUBJECTS .1. SAFETY AND RISK
NOMEN, R
SEMPERE, J
SERRA, E
AFINIDAD, 1995, 52 (455) : 9 - 11
[35] REFINEMENT CALCULUS .1. SEQUENTIAL NONDETERMINISTIC PROGRAMS
BACK, RJR
VONWRIGHT, J
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 430 : 42 - 66
[36] REMOTE-SENSING OF POTENTIAL LUNAR RESOURCES .1. NEAR-SIDE COMPOSITIONAL PROPERTIES
JOHNSON, JR
LARSON, SM
SINGER, RB
JOURNAL OF GEOPHYSICAL RESEARCH-PLANETS, 1991, 96 (E3) : 18861 - 18882
[37] ALGEBRAIC L-THEORY .1. FOUNDATIONS
RANICKI, AA
PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY, 1973, 27 (JUL) : 101 - 125
[38] INTRODUCTION TO THE FOUNDATIONS OF DIFFERENT BEARING TECHNIQUES .1.
JONDRAL, F
NTZ ARCHIV, 1987, 9 (02): : 29 - 34
[39] Understanding radio polarimetry .1. Mathematical foundations
Hamaker, JP
Bregman, JD
Sault, RJ
ASTRONOMY & ASTROPHYSICS SUPPLEMENT SERIES, 1996, 117 (01): : 137 - 147
[40] FOUNDATIONS OF INTEGER LINEAR-PROGRAMMING .1.
GRAVER, JE
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 22 (01): : A252 - A252

← 1 2 3 4 5 →