- Добавил: Ice Zero
- Дата: 14-02-2019, 11:21
- Комментариев: 0

Автор: Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
Издательство: Springer
Год: 2012
Формат: PDF
Страниц: 424
Для сайта: litmy.ru
Размер: 5 Mb
Язык: English
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.