Items related to Modeling Time in Computing (Monographs in Theoretical...
Modeling Time in Computing (Monographs in Theoretical Computer Science. An EATCS Series) - Hardcover
Synopsis
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...
About the Author
Dr. Carlo A. Furia is a lecturer and researcher in the software engineering at ETH Zürich; his main research interests are within the area of formal methods for software engineering, including approaches to improving the quality, reliability, and correctness of software and software-intensive systems. Prof. Dino Mandrioli has been a professor of theoretical computer science at the Politecnico di Milano since 1992; his research interests are mainly...
Review
From the reviews:
“All aspects of modeling time in computing are presented in this book, but that’s not all it offers. Each of the chapters can be read as an independent text, allowing a very customized experience with the book. ... Part 1 is extremely useful for readers at an early level of computer science learning, as it presents aspects that can be easily understood by an undergraduate student. These...
"About this title" may belong to another edition of this title.
- PublisherSpringer
- Publication date2012
- ISBN 10 3642323316
- ISBN 13 9783642323317
- BindingHardcover
- LanguageEnglish
- Number of pages440
Buy New
View this item
US$ 62.37
US$ 26.04 shipping from Germany to U.S.A.
Destination, rates & speeds
Search results for Modeling Time in Computing (Monographs in Theoretical...
Seller Image
Modeling Time in Computing.
Published by
Berlin, Heidelberg, Springer Berlin Heidelberg, 2012
ISBN 10: 3642323316
ISBN 13: 9783642323317
Used
Hardcover
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Seller rating 5 out of 5 stars
424 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 9783642323317 Sprache: Englisch Gewicht in Gramm: 990. Seller Inventory # 2340168
Quantity: 1 available
Seller Image
Modeling Time in Computing
Published by
Springer Berlin Heidelberg Okt 2012, 2012
ISBN 10: 3642323316
ISBN 13: 9783642323317
New
Hardcover
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 share finite state machines as common 'ancestors'; Petri nets in many variants; notations based on mathematical logic, such as temporal logic; process algebras; and 'dual-language approaches' combining two notations with different characteristics to model and verify complex systems, e.g., model-checking frameworks. Finally, the book concludes with summarizing remarks and hints towards future developments and open challenges. The presentation uses a rigorous, yet not overly technical, style, appropriate for readers with heterogeneous backgrounds, and each chapter is supplemented with detailed bibliographic remarks and carefully chosen exercises of varying difficulty and scope. The book is aimed at graduate students and researchers in computer science, while researchers and practitioners in other scientific and engineering disciplines interested in time modeling with a computational flavor will also find the book of value, and the comparative and conceptual approach makes this a valuable introduction for non-experts. The authors assume a basic knowledge of calculus, probability theory, algorithms, and programming, while a more advanced knowledge of automata, formal languages, and mathematical logic is useful. 440 pp. Englisch. Seller Inventory # 9783642323317
Quantity: 2 available
Seller Image
Modeling Time in Computing
Published by
Springer Berlin Heidelberg, 2012
ISBN 10: 3642323316
ISBN 13: 9783642323317
New
Hardcover
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 share finite state machines as common 'ancestors'; Petri nets in many variants; notations based on mathematical logic, such as temporal logic; process algebras; and 'dual-language approaches' combining two notations with different characteristics to model and verify complex systems, e.g., model-checking frameworks. Finally, the book concludes with summarizing remarks and hints towards future developments and open challenges. The presentation uses a rigorous, yet not overly technical, style, appropriate for readers with heterogeneous backgrounds, and each chapter is supplemented with detailed bibliographic remarks and carefully chosen exercises of varying difficulty and scope. The book is aimed at graduate students and researchers in computer science, whileresearchers and practitioners in other scientific and engineering disciplines interested in time modeling with a computational flavor will also find the book of value, and the comparative and conceptual approach makes this a valuable introduction for non-experts. The authors assume a basic knowledge of calculus, probability theory, algorithms, and programming, while a more advanced knowledge of automata, formal languages, and mathematical logic is useful. Seller Inventory # 9783642323317
Quantity: 1 available
Seller Image
Modeling Time in Computing
Published by
Springer Berlin Heidelberg, 2012
ISBN 10: 3642323316
ISBN 13: 9783642323317
New
Hardcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Comparative and conceptual approach make this a valuable introduction for non-expertsOrganized presentation of issues that recur in computer science and other branches of engineering and scienceExercises considered optional on first reading. Seller Inventory # 5056888
Quantity: Over 20 available
Stock Image
Modeling Time in Computing (Monographs in Theoretical Computer Science. An EATCS Series)
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: Like New. Like New. book. Seller Inventory # ERICA79636423233166
Quantity: 1 available