abstract behavioral specification language tool suite
信息科技

        一種并發(fā)的面向?qū)ο蟮慕ＵZ言的工具包,以功能性數(shù)據(jù)類型為特色。抽象行為規(guī)約語言工具包包括核心工具、軟件產(chǎn)品線開發(fā)和集成開發(fā)環(huán)境等。......（本文共 73 字）     [閱讀本文] >>