单词 | LNCS430 |
释义 | -J. W de Bakker/W -P. de Röver/G. Rozenberg (Eds.): Stepwise Refinement of Distributed Systems. Models, Formalisms, Correctness, Proceedings 1989, Springer-Verlag 1990 |
随便看 |
英汉缩略语词收录了42586条英文缩写词条,提供最新英文缩写(缩略词)查询及其意思解释,包括月份的英文缩写,有限公司英文缩写等英文缩略词。