共 50 条
- [41] Introduction to the Special Issue on Astrobiology on the Moon [J]. Earth, Moon, and Planets, 2010, 107 : 1 - 1
- [43] AN INTRODUCTION TO REFINEMENT IN Z [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 552 : 96 - 117
- [44] NUMERICAL-ANALYSIS - WITH EMPHASIS ON THE APPLICATION OF NUMERICAL TECHNIQUES TO PROBLEMS OF INFINITESIMAL CALCULUS IN A SINGLE VARIABLE - KOPAL,Z [J]. JOURNAL OF THE ROYAL STATISTICAL SOCIETY SERIES A-GENERAL, 1962, 125 (02): : 288 - 289
- [45] AN INTRODUCTION TO Z AND FORMAL SPECIFICATIONS [J]. SOFTWARE ENGINEERING JOURNAL, 1989, 4 (01): : 40 - 50