来自专业的译者、企业、网页和免费的翻译库。
g r o u pe s d ’ a m it i é i nte r pa r l e m e nta i r e s
th e pa r l i a m e nta r y f r i e n d s h i p g r o u ps
最后更新: 2015-05-14
使用频率: 1
质量:
la preuve se fonde sur la définition de rcpjnto et la propriété rappelée ci-dessus : (24) (c_name, i) r cp jndex (pj k, i') ==> pack_name(c_name) r pa ckage_ref p _tok la sixième et dernière étape du procédé consiste à déterminer un transformateur tel que la transformation du code et des données par ce convertisseur respecte des relations logiques déterminées.
the proof is based on the definition of r cp — info and the property mentioned above: (24) (c_name, i) r cp — index (p_tok, i′) pack_name(c_name) r package — ref p_tok the sixth and last step of the method consists of determining transformation is such that the transformation of the code and the data by the converter satisfies given logical relations.
最后更新: 2014-12-03
使用频率: 1
质量:
警告:包含不可见的HTML格式
一些相关性较低的人工翻译已被隐藏。
显示低相关性结果。