Temporal Information Systems in Medicine
β Carlo Combi, Elpida Keravnou-Papailiou, Yuval Shahar (auth.)
π Library
π
2010
π Springer US
π English
β¦ LIBER β¦
π
Temporal logic in information systems
β Scribed by Chomicki J., Toman D.
- Publisher
- BRICS
- Year
- 1997
- Tongue
- English
- Leaves
- 51
- Category
- Library
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
Temporal Information Systems in Medicine
β Carlo Combi, Elpida Keravnou-Papailiou, Yuval Shahar (auth.)
π Library
π
2010
π Springer US
π English
<p>The effective and efficient use of information systems in health care organizations and services is a vital element of the quality of life worldwide. The modeling of time has attracted interest from a number of research communities, each addressing aspects from its specific sphere of interests. T
Temporal Information Systems in Medicine
β Carlo Combi; Elpida Keravnou-Papailiou; Yuval Shahar
π Library
π English
Temporal Logics in Computer Science: Fin
β StΓ©phane Demri, Valentin Goranko, Martin Lange
π Library
π
2016
π Cambridge University Press
π English
This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. Part I presents the basics of discrete transition systems, including constructions and behavioural equivalences. Part II examines the most i
Temporal Logics in Computer Science. Fin
β StΓ©phane Demri, Valentin Goranko, Martin Lange
π Library
π
2016
π Cambridge University Press
π English
Temporal Logic and State Systems
β Fred Kroger, Stephan Merz
π Library
π
2008
π Springer
π English
Temporal logic has developed over the lastΒ 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications