《FORMAL METHODS IN SYSTEM DESIGN》 期刊名縮寫:FORM METHOD SYST DES 22年影響因子:1.100 issn:0925-9856 eIssn:1572-8102 類別: 工程技術(shù)數(shù)學(xué) 學(xué)科與分區(qū): 計(jì)算機(jī)科學(xué)、理論與方法(COMPUTER SCIENCE, THEORY & METHODS) - SCIE(Q3) 出版國家或地區(qū):UNITED STATES 出版周期:Bimonthly 出版年份:0 年文章數(shù):30 是否OA開放訪問:No Gold OA文章占比:37.04% 官方網(wǎng)站:link.springer.com/journal/10703 投稿地址:www.editorialmanager.com/form/default.aspx 編輯部地址:SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ 錄用難度:容易