Modeling Time in Computing - Monographs in Theoretical Computer Science. An EATCS Series (Hardback)
  • Modeling Time in Computing - Monographs in Theoretical Computer Science. An EATCS Series (Hardback)
zoom

Modeling Time in Computing - Monographs in Theoretical Computer Science. An EATCS Series (Hardback)

(author), (author), (author), (author)
£84.99
Hardback 424 Pages / Published: 19/10/2012
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket

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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642323317
Number of pages: 424
Weight: 818 g
Dimensions: 235 x 155 x 25 mm
Edition: 2012 ed.


MEDIA REVIEWS

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 chapters also offer the bonus of some exercises that help readers assess their ability to understand the concepts discussed. Part 2, I think, is harder to follow because it deals with a higher level of abstraction. However, these chapters are very well written and allow a complete understanding of the issues of simulating time. After the closing chapter, the authors provide an extensive set of references and a useful index. The authors have succeeded in writing a very complete text, which is fairly easy to read and to follow ... This book is now one of my favorite sources on this topic. " [Nuno M. Garcia, Computing Reviews, 2013]

"The book is well written, the details are given in a rigorous manner, the bibliography seems to be adequate and well explained. ... I consider the book to be a nice presentation of a large range of results regarding time modeling in computer science, complemented by a considerable number of pointers towards further readings. In fewer words: a good starting point both for students and researchers interested in this topic." [Florin Manea, Zentralblatt MATH, Vol. 1260, 2013]

"... Next to its admirably comparative and conceptual approach, the highlight of this book are its numerous examples and its many excellent, albeit challenging, exercises ... its brilliantly written first part revisits the approaches adopted by physics and engineering for describing dynamic systems ... this is a successful monograph on the diverse and difficult topic of modeling time. I highly recommend it to engineers and practitioners who need to apply modern computer science techniques to developing and analyzing complex, software-intensive systems. " [G. Luttgen, AMS Mathematical Reviews, MR3185244, 2015]

You may also be interested in...

Don't Make Me Think, Revisited
Added to basket
AQA A level Computer Science
Added to basket
Blockchain
Added to basket
£19.99
Paperback
Machine Learning
Added to basket
£42.50
Paperback
Computing with Quantum Cats
Added to basket
Artificial Intelligence: The Basics
Added to basket
One World Trade Center
Added to basket
How to Pass Higher Computing Science
Added to basket
Computer Vision
Added to basket
Robotics
Added to basket
£13.99
Paperback
Coding Theory
Added to basket
£44.99
Paperback
Portfolio, programme and project offices
Added to basket
Proofs from THE BOOK
Added to basket
Rocket Surgery Made Easy
Added to basket
Probability and Computing
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.