共 50 条
- [44] NUMERICAL-ANALYSIS - WITH EMPHASIS ON THE APPLICATION OF NUMERICAL TECHNIQUES TO PROBLEMS OF INFINITESIMAL CALCULUS IN A SINGLE VARIABLE - KOPAL,Z JOURNAL OF THE ROYAL STATISTICAL SOCIETY SERIES A-GENERAL, 1962, 125 (02): : 288 - 289
- [45] AN INTRODUCTION TO Z AND FORMAL SPECIFICATIONS SOFTWARE ENGINEERING JOURNAL, 1989, 4 (01): : 40 - 50