| 書(shū)目名稱 | Formal Techniques for Distributed Objects, Components, and Systems | | 副標(biāo)題 | 38th IFIP WG 6.1 Int | | 編輯 | Christel Baier,Luís Caires | | 視頻video | http://file.papertrans.cn/346/345920/345920.mp4 | | 叢書(shū)名稱 | Lecture Notes in Computer Science | | 圖書(shū)封面 |  | | 描述 | .This book constitutes the proceedings of the 38th IFIP WG 6.1International Conference on Formal Techniques for Distributed Objects,Components, and Systems, FORTE 2018, held in Madrid, Spain, inJune 2018, as part of the 13th International Federated Conference onDistributed Computing Techniques, DisCoTec 2018...The 10 full papers presented were carefully reviewed and selected from 28 submissions. The conference is dedicated to fundamental research on theory, models, tools,?and applications for distributed systems.. | | 出版日期 | Conference proceedings 2018 | | 關(guān)鍵詞 | Model-Based Design; Object technology; modularity; Software Adaptation; Service-oriented computer system | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-319-92612-4 | | isbn_softcover | 978-3-319-92611-7 | | isbn_ebook | 978-3-319-92612-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | IFIP International Federation for Information Processing 2018 |
The information of publication is updating
書(shū)目名稱Formal Techniques for Distributed Objects, Components, and Systems影響因子(影響力)
書(shū)目名稱Formal Techniques for Distributed Objects, Components, and Systems影響因子(影響力)學(xué)科排名
書(shū)目名稱Formal Techniques for Distributed Objects, Components, and Systems網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱Formal Techniques for Distributed Objects, Components, and Systems網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱Formal Techniques for Distributed Objects, Components, and Systems被引頻次
書(shū)目名稱Formal Techniques for Distributed Objects, Components, and Systems被引頻次學(xué)科排名
書(shū)目名稱Formal Techniques for Distributed Objects, Components, and Systems年度引用
書(shū)目名稱Formal Techniques for Distributed Objects, Components, and Systems年度引用學(xué)科排名
書(shū)目名稱Formal Techniques for Distributed Objects, Components, and Systems讀者反饋
書(shū)目名稱Formal Techniques for Distributed Objects, Components, and Systems讀者反饋學(xué)科排名
|
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-14 22:28
發(fā)表于 2025-3-21 19:01:43
