書目名稱 | Leveraging Applications of Formal Methods, Verification, and Validation | 副標(biāo)題 | 4th International Sy | 編輯 | Tiziana Margaria,Bernhard Steffen | 視頻video | http://file.papertrans.cn/586/585398/585398.mp4 | 叢書名稱 | Lecture Notes in Computer Science | 圖書封面 |  | 出版日期 | Conference proceedings 2010 | 關(guān)鍵詞 | Internet; Linux; Pacemaker; business process modeling; classification; cloud computing; collaboration; colo | 版次 | 1 | doi | https://doi.org/10.1007/978-3-642-16561-0 | isbn_softcover | 978-3-642-16560-3 | isbn_ebook | 978-3-642-16561-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 | issn_series | 0302-9743 | copyright | Springer Berlin Heidelberg 2010 |
The information of publication is updating
書目名稱Leveraging Applications of Formal Methods, Verification, and Validation影響因子(影響力) 
書目名稱Leveraging Applications of Formal Methods, Verification, and Validation影響因子(影響力)學(xué)科排名 
書目名稱Leveraging Applications of Formal Methods, Verification, and Validation網(wǎng)絡(luò)公開度 
書目名稱Leveraging Applications of Formal Methods, Verification, and Validation網(wǎng)絡(luò)公開度學(xué)科排名 
書目名稱Leveraging Applications of Formal Methods, Verification, and Validation被引頻次 
書目名稱Leveraging Applications of Formal Methods, Verification, and Validation被引頻次學(xué)科排名 
書目名稱Leveraging Applications of Formal Methods, Verification, and Validation年度引用 
書目名稱Leveraging Applications of Formal Methods, Verification, and Validation年度引用學(xué)科排名 
書目名稱Leveraging Applications of Formal Methods, Verification, and Validation讀者反饋 
書目名稱Leveraging Applications of Formal Methods, Verification, and Validation讀者反饋學(xué)科排名 
|
|
|