1) documentary obligation
单证义务
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) Warranty
[英]['wɔrənti] [美]['wɔrəntɪ]
保证义务
1.
Research on Warranty of Insurance Law;
保险合同法中的保证义务
补充资料：装箱单、重量单、尺码单
装箱单、重量单、尺码单
[装箱单、皿t单、尺码单1装箱单(Pack-ing Ust)是说明货物包装情况的单据，包括包装材料、包装方式，以及详细的包装内容，如花色、规格搭配等。进口地海关主要依据装箱单对某一特定内容的包装内容进行检查，也是进口商核对货物的依据。装箱单的内容有:单据名称、卖方名称、唆头、件数、规格、数量、毛净重、签字等。 重量单(Weight ust)是由卖方或第三者提供的，表明货物重量的单据。一般包括皮、毛、净重。它必须和其他单据上所表示的货物重量一致。 尺码单就不详细介绍了。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条