General-Service Ballistic Computer Programming Based on B-Method

著录项

• 来源
  《防务技术:英文版》 |2006年第3期|178-183|共6页
• 作者

  郑宇军; 张子丘; 王金全; 薛锦云;

  展开▼
• 作者单位

  Institute of Software;

  Chinese Academy of Sciences;

  Beijing 100080;

  China;

  Armament Demonstration and Research Center;

  Beijing 100034;

  China;

  System Engineering Research Institute of Engineer Equipment;

  Beijing 100093;

  China;

  College of Computer Information Engineering;

  Jiangxi Normal University;

  Nanchang 330027 Jiangxi;

  China;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 枪炮弹道学;
• 关键词

  抽象机; 精化; 弹道; 程序设计;

  机译：B方法;弹道计算机编程抽象机（AM）;细化;