Modeling Time in Computing
Furia, Carlo A. ; Mandrioli, Dino 2012 Springer Berlin
- Kaufen
-
Jetzt kaufen bei
- Link zu diesem Datensatz
- https://d-nb.info/1060651939
- Titel
- Modeling Time in Computing
- Art des Inhalts
- Monographie
- Verfassangaben
- Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
- Autor(en)
- Verlag
- 2012 - Berlin : Springer Berlin [2014]
- Jahr
- Erscheinungsdatum: 2012
- Zeitliche Einordnung
- Erscheinungsdatum: 2014
- Umfang/Format
- XVI, 424 Seiten
- ISBN/Einband/Preis
9783642431364- Online
- http://deposit.dnb.de/cgi-bin/dokserv?id=4820028&prov=M&dok_var=1&dok_ext=htm
- Sprache
- eng
- Schlagwörter
-
- Petri nets
- abstract machines
- algebraic formalisms
- algorithms
- dynamical systems
- hardware
- logic
- modeling
- temporal models
- time
- (Springer Nature Marketing Classification)B
- (Springer Nature Subject Code)SCI16005: Theory of Computation
- (Springer Nature Subject Collection)SUCO11645: Computer Science
- (Springer Nature Subject Code)SCI1200X: Computer Hardware
- (Springer Nature Subject Code)SCI17001: Mathematics of Computing
- (Springer Nature Subject Code)SCI21009: Computing Methodologies
- Stand
- 03.07.2025 17:57
- Im Katalog seit
- 06.03.2026