| 书目名称 | Functional Programming, Concurrency, Simulation and Automated Reasoning | | 副标题 | International Lectur | | 编辑 | Peter E. Lauer | | 视频video | | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | This collection of papers arose from a series of lecturesfor workers incomputer science and other disciplines. Thelectures were intended to familiarize them with some of themost exciting advanced computer based systems for theconceptualization, design, implementation, simulation,andlogical analysis of applications in these disciplines.Thecollection presents some strong motivational points forthe use of theory based systems in the areas of functionalprogramming, concurrency,simulation, and automatedreasoning, highlighting some of their advantagesanddisadvantages relative to conventional systems. The papersaremostly the work of individuals who were among theoriginators of the systemspresented.The volume is intended as a contribution to narrowingthelearning gap facing conventional computer users when theywish to use advanced theory based systems. The papers aremeant for a wide audience and should not require greatmathematical sophistication for theircomprehension. Thepapers contain numerous references for those wishing topursue a topic in greater depth. | | 出版日期 | Book 1993 | | 关键词 | Automat; automated reasoning; concurrency; functional programming; learning; programming; simulation | | 版次 | 1 | | doi | https://doi.org/10.1007/3-540-56883-2 | | isbn_softcover | 978-3-540-56883-4 | | isbn_ebook | 978-3-540-47776-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 1993 |
The information of publication is updating
书目名称Functional Programming, Concurrency, Simulation and Automated Reasoning影响因子(影响力)
书目名称Functional Programming, Concurrency, Simulation and Automated Reasoning影响因子(影响力)学科排名
书目名称Functional Programming, Concurrency, Simulation and Automated Reasoning网络公开度
书目名称Functional Programming, Concurrency, Simulation and Automated Reasoning网络公开度学科排名
书目名称Functional Programming, Concurrency, Simulation and Automated Reasoning被引频次
书目名称Functional Programming, Concurrency, Simulation and Automated Reasoning被引频次学科排名
书目名称Functional Programming, Concurrency, Simulation and Automated Reasoning年度引用
书目名称Functional Programming, Concurrency, Simulation and Automated Reasoning年度引用学科排名
书目名称Functional Programming, Concurrency, Simulation and Automated Reasoning读者反馈
书目名称Functional Programming, Concurrency, Simulation and Automated Reasoning读者反馈学科排名
|
|
|
发表于 2025-3-21 19:18:51
