Modeling Time in Computing by Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi.
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...
Full description
Saved in:
Bibliographic Details
| Main Authors: |
Furia, Carlo A.
(Author),
Mandrioli, Dino
(Author),
Morzenti, Angelo
(Author),
Rossi, Matteo
(Author) |
|---|
| Corporate Author: |
SpringerLink (Online service) |
|---|
| Format: | eBook
|
|---|
| Language: | English |
|---|
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2012.
|
|---|
| Edition: | 1st ed. 2012. |
|---|
| Series: | Monographs in Theoretical Computer Science. An EATCS Series,
Springer eBook Collection.
|
|---|
| Subjects: | |
|---|
| Online Access: | Click to view e-book
|
|---|
| Holy Cross Note: | Loaded electronically.
Electronic access restricted to members of the Holy Cross Community. |
|---|