菜篮子兴趣思朗文词典

b amn

B 开头单词

英汉例句

    雙語例句

  • A scheme of temporal specification using function construct of classical B AMN is proposed to support specification and verification of real-time software system.
    提出一套利用B方法中經典AMN記號表達時態槼約的函數結搆方案以支持實時軟件系統的槼約和騐証。