| 書(shū)目名稱(chēng) | Logic, Computation and Rigorous Methods | | 副標(biāo)題 | Essays Dedicated to | | 編輯 | Alexander Raschke,Elvinia Riccobene,Klaus-Dieter S | | 視頻video | http://file.papertrans.cn/589/588036/588036.mp4 | | 概述 | Dedicated to a pioneer in the fields of logic and computer science, Egon B?rger‘s research interests are unusual in scope, from programming languages to hardware architectures, software architectures, | | 叢書(shū)名稱(chēng) | Lecture Notes in Computer Science | | 圖書(shū)封面 |  | | 描述 | .This Festschrift was published in honor of Egon B?rger on the occasion of his 75th?birthday..It acknowledges Prof. B?rger‘s inspiration as a scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields of?logic and computer science, Egon B?rger‘s research interests are unusual in scope,?from programming languages to hardware architectures, software architectures, control systems, workflow and interaction patterns, business processes, web applications, and concurrent systems..The 18 invited contributions in this volume are by leading researchers in the areas of software engineering, programming languages, business information systems, and computer science logic.. | | 出版日期 | Book 2021 | | 關(guān)鍵詞 | logic; theory of computation; rigorous methods; Abstract State Machines; Event-B; hybrid systems; knowledg | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-030-76020-5 | | isbn_softcover | 978-3-030-76019-9 | | isbn_ebook | 978-3-030-76020-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer Nature Switzerland AG 2021 |
The information of publication is updating
書(shū)目名稱(chēng)Logic, Computation and Rigorous Methods影響因子(影響力)
書(shū)目名稱(chēng)Logic, Computation and Rigorous Methods影響因子(影響力)學(xué)科排名
書(shū)目名稱(chēng)Logic, Computation and Rigorous Methods網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱(chēng)Logic, Computation and Rigorous Methods網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱(chēng)Logic, Computation and Rigorous Methods被引頻次
書(shū)目名稱(chēng)Logic, Computation and Rigorous Methods被引頻次學(xué)科排名
書(shū)目名稱(chēng)Logic, Computation and Rigorous Methods年度引用
書(shū)目名稱(chēng)Logic, Computation and Rigorous Methods年度引用學(xué)科排名
書(shū)目名稱(chēng)Logic, Computation and Rigorous Methods讀者反饋
書(shū)目名稱(chēng)Logic, Computation and Rigorous Methods讀者反饋學(xué)科排名
|
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-6 22:15
發(fā)表于 2025-3-21 17:22:51
