| 書(shū)目名稱(chēng) | Formal Techniques for Distributed Objects, Components, and Systems | | 副標(biāo)題 | 34th IFIP WG 6.1 Int | | 編輯 | Erika ábrahám,Catuscia Palamidessi | | 視頻video | http://file.papertrans.cn/346/345917/345917.mp4 | | 叢書(shū)名稱(chēng) | Lecture Notes in Computer Science | | 圖書(shū)封面 |  | | 描述 | This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, held in Berlin, Germany, in June 2014, as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014. The 18 revised full papers presented were carefully reviewed and selected from 50 submissions. The papers present a wide range of topics on specification languages and type systems, monitoring and testing, security analysis and bisimulation, abstraction and reduction. | | 出版日期 | Conference proceedings 2014 | | 關(guān)鍵詞 | concurrency; distributed systems; formal languages and automata theory; formal methods; information theo | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-662-43613-4 | | isbn_softcover | 978-3-662-43612-7 | | isbn_ebook | 978-3-662-43613-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | IFIP International Federation for Information Processing 2014 |
The information of publication is updating
書(shū)目名稱(chēng)Formal Techniques for Distributed Objects, Components, and Systems影響因子(影響力)
書(shū)目名稱(chēng)Formal Techniques for Distributed Objects, Components, and Systems影響因子(影響力)學(xué)科排名
書(shū)目名稱(chēng)Formal Techniques for Distributed Objects, Components, and Systems網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱(chēng)Formal Techniques for Distributed Objects, Components, and Systems網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱(chēng)Formal Techniques for Distributed Objects, Components, and Systems被引頻次
書(shū)目名稱(chēng)Formal Techniques for Distributed Objects, Components, and Systems被引頻次學(xué)科排名
書(shū)目名稱(chēng)Formal Techniques for Distributed Objects, Components, and Systems年度引用
書(shū)目名稱(chēng)Formal Techniques for Distributed Objects, Components, and Systems年度引用學(xué)科排名
書(shū)目名稱(chēng)Formal Techniques for Distributed Objects, Components, and Systems讀者反饋
書(shū)目名稱(chēng)Formal Techniques for Distributed Objects, Components, and Systems讀者反饋學(xué)科排名
|
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-6 22:56
發(fā)表于 2025-3-21 17:31:35
