| 书目名称 | Structures of Computing | | 副标题 | A Guide to Practice- | | 编辑 | Egon Börger,Vincenzo Gervasi | | 视频video | | | 概述 | Explains in practical generic terms the behavioral meaning of fundamental concepts of computing.Defines and analyzes conceptual constituents of interactive processes:‘structured data, operations, cont | | 图书封面 |  | | 描述 | .Structures of Computing. explains the behavioral meaning of fundamental concepts of computing from a practical viewpoint and in generic terms, unrestricted by specific computing devices or programming languages. To compute is understood as processing structures by a set of cooperating agents each of which executes an algorithm assigned to it and interacts with the other agents...Part I of the book defines the conceptual constituents of interactive processes: (i) data, i.e. structured objects with associated properties, relations and functions the algorithmic processes operate upon, (ii) basic operations that affect the data in single execution steps, and (iii) control mechanisms that determine the combination of single steps in multi-agent computations where the interaction happens via communication or other forms of data sharing...Part II analyses these constituents concerning (i) methods to achieve process correctness (inspection, experimental validation, reasoning), (ii) principal computational paradigms (architectures, programming styles, communication structures, control patterns from sequential and reflective to concurrent, mixed synchronous/asynchronous and data flow contro | | 出版日期 | Textbook 2024 | | 关键词 | Theory of Computation; Programming Theory; Program Logic; Computational Complexity; Control Structure; Co | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-031-54358-6 | | isbn_softcover | 978-3-031-54357-9 | | isbn_ebook | 978-3-031-54358-6 | | copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl |
The information of publication is updating
|
|
发表于 2025-3-21 16:04:46
