1) Obligation Of Handling Card
办证义务
3) Proof Obligations
证明义务
1.
This paper presents the processes of hierarchical development and proof of method B,depicts its type checking and proof obligations from the construction of abstract machine to refinement and implementation in detail.
本文介绍了B方法的分层开发与证明过程,针对构造AM以及对他进行精化和实现过程中的类型检查、证明义务进行了重点分析,最后通过具体应用说明了B方法的证明技术在实践中的有效性。
4) proof obligation
证明义务
1.
This paper analyses the structure of B-method specification systematically,demonstrates the procedure of writing specification with B-method by an example,gives the proof obligation of specification simply,and at the same time refines the specification.
本文比较系统地分析了B方法规格说明的构造结构,并结合所设计的实例演示了用B方法编写规格说明的过程,简略地给出了其规格说明的证明义务,并对其规格说明进行了一次精化。
5) giving proof
举证义务
1.
From the view of law, we analyse the responsibility principle, components, duty of listing proofs, giving proof, responsibility exemption of auditing responsibilities.
文章从法律视角论述了审计侵权责任的概念,并详细分析了审计侵权责任的归责原则、构成要件、举证义务、免责条件等要素,进而提出了完善我国审计侵权责任的法律构想。
6) documentary obligation
单证义务
补充资料：采矿许可证的发证机关
采矿许可证的发证机关:国务院地质矿产主管部门以及其授权的省、自治区、直辖市人民政府地质矿产主管部门是采矿许可证的发证机关。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条