| 书目名称 | Logic, Computation and Rigorous Methods | | 副标题 | Essays Dedicated to | | 编辑 | Alexander Raschke,Elvinia Riccobene,Klaus-Dieter S | | 视频video | | | 概述 | 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, | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | .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 | | 关键词 | 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
书目名称Logic, Computation and Rigorous Methods影响因子(影响力)
书目名称Logic, Computation and Rigorous Methods影响因子(影响力)学科排名
书目名称Logic, Computation and Rigorous Methods网络公开度
书目名称Logic, Computation and Rigorous Methods网络公开度学科排名
书目名称Logic, Computation and Rigorous Methods被引频次
书目名称Logic, Computation and Rigorous Methods被引频次学科排名
书目名称Logic, Computation and Rigorous Methods年度引用
书目名称Logic, Computation and Rigorous Methods年度引用学科排名
书目名称Logic, Computation and Rigorous Methods读者反馈
书目名称Logic, Computation and Rigorous Methods读者反馈学科排名
|
|
|
发表于 2025-3-21 17:22:51
