| 書(shū)目名稱(chēng) | Formal Modeling: Actors; Open Systems, Biological Systems | | 副標(biāo)題 | Essays Dedicated to | | 編輯 | Gul Agha,Olivier Danvy,José Meseguer | | 視頻video | http://file.papertrans.cn/346/345883/345883.mp4 | | 概述 | commemorative publication.up-to-date-results in formal modeling.state-of-the-art-research | | 叢書(shū)名稱(chēng) | Lecture Notes in Computer Science | | 圖書(shū)封面 |  | | 描述 | This Festschrift volume, published in honor of Carolyn Talcott on the occasion of her 70th birthday, contains a collection of papers presented at a symposium held in Menlo Park, California, USA, in November 2011.Carolyn Talcott is a leading researcher and mentor of international renown among computer scientists. She has made key contributions to a number of areas of computer science including: semantics and verification of progamming languages; foundations of actor-based systems; middleware, meta-architectures, and systems; Maude and rewriting logic; and computational biology.The 21 papers presented are organized in topical sections named: Essays on Carolyn Talcott; actors and programming languages; cyberphysical systems; middleware and meta-architectures; formal methods and reasoning tools; and computational biology. | | 出版日期 | Book 2011 | | 關(guān)鍵詞 | algebraic structures; concurrency; formal verification; software development; verification | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-642-24933-4 | | isbn_softcover | 978-3-642-24932-7 | | isbn_ebook | 978-3-642-24933-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag GmbH Berlin Heidelberg 2011 |
The information of publication is updating
書(shū)目名稱(chēng)Formal Modeling: Actors; Open Systems, Biological Systems影響因子(影響力)
書(shū)目名稱(chēng)Formal Modeling: Actors; Open Systems, Biological Systems影響因子(影響力)學(xué)科排名
書(shū)目名稱(chēng)Formal Modeling: Actors; Open Systems, Biological Systems網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱(chēng)Formal Modeling: Actors; Open Systems, Biological Systems網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱(chēng)Formal Modeling: Actors; Open Systems, Biological Systems被引頻次
書(shū)目名稱(chēng)Formal Modeling: Actors; Open Systems, Biological Systems被引頻次學(xué)科排名
書(shū)目名稱(chēng)Formal Modeling: Actors; Open Systems, Biological Systems年度引用
書(shū)目名稱(chēng)Formal Modeling: Actors; Open Systems, Biological Systems年度引用學(xué)科排名
書(shū)目名稱(chēng)Formal Modeling: Actors; Open Systems, Biological Systems讀者反饋
書(shū)目名稱(chēng)Formal Modeling: Actors; Open Systems, Biological Systems讀者反饋學(xué)科排名
|
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-14 06:43
發(fā)表于 2025-3-21 18:56:40
