Cover Image
Read Now

Modeling Time in Computing

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...

Full description

Bibliographic Details
Main Authors: Furia, Carlo A., Mandrioli, Dino (Author), Morzenti, Angelo (Author), Rossi, Matteo (Author)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2012, 2012
Edition:1st ed. 2012
Series:Monographs in Theoretical Computer Science. An EATCS Series
Subjects:
Computer Science
Mathematics Of Computing
Computer Science / Mathematics
Artificial Intelligence
Computers
Computer Hardware
Theory Of Computation
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • Chap. 1 It's About Time
  • Chap. 2 Languages and Interpretations
  • Chap. 3 Dimensions of the Time Modeling Problem
  • Chap. 4 Dynamical Systems
  • Chap. 5 Time in Hardware Modeling and Design
  • Chap. 6 Time in the Analysis of Algorithms
  • Chap. 7 Synchronous Abstract Machines
  • Chap. 8 Asynchronous Abstract Machines: Petri Nets
  • Chap. 9 Logic-Based Formalisms
  • Chap. 10 Algebraic Formalisms
  • Chap. 11 Dual-Language Approaches
  • Chap. 12 Time Is up
  • References
  • Index

Similar Items