模型檢驗器
Mc n : one million periods per second [syn: {megahertz}, {MHz}, {megacycle per second}, {megacycle}]
MCAn extension of {C} with {modules}. Symbols in other modules can be referenced using a dot notation. ["Design and Implementation of a C-Based Language for Distributed Real-Time Systems", A. Rizk et al, SIGPLAN Notices 22(6):83-96 (June 1987)]. (1995-10-06) mc The {country code} for Monaco. (1999-01-27)