| 书目名称 | Modeling Time in Computing |
| 编辑 | Carlo A. Furia,Dino Mandrioli,Matteo Rossi |
| 视频video | |
| 概述 | Comparative and conceptual approach make this a valuable introduction for non-experts.Organized presentation of issues that recur in computer science and other branches of engineering and science.Exer |
| 丛书名称 | Monographs in Theoretical Computer Science. An EATCS Series |
| 图书封面 |  |
| 描述 | .Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic thorough presentation of the results of several decades of research on developing, analyzing, and applying time models to computing and engineering..After an opening motivation introducing the topics, structure and goals, the authors introduce the notions of formalism and model in general terms along with some of their fundamental classification criteria. In doing so they present the fundamentals of propositional and predicate logic, and essential issues that arise when modeling time across all types of system. Part I is a summary of the models that are traditional in engineering and the natural sciences, including fundamental computer science: dynamical systems and control theory; hardware design; and software algorithmic and complexity analysis. Part II covers advanced and specialized formalisms dealing with time modeling in heterogeneous software-intensive systems: formalisms that sh |
| 出版日期 | Textbook 2012 |
| 关键词 | Petri nets; abstract machines; algebraic formalisms; algorithms; dynamical systems; hardware; logic; modeli |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-642-32332-4 |
| isbn_softcover | 978-3-642-43136-4 |
| isbn_ebook | 978-3-642-32332-4Series ISSN 1431-2654 Series E-ISSN 2193-2069 |
| issn_series | 1431-2654 |
| copyright | Springer-Verlag Berlin Heidelberg 2012 |
发表于 2025-3-21 19:22:25
