Book
Temporal Logic
ISBN : 9789811268533
Author : Stefania Centrone
Publisher : World Scientific
Year : 2023
Language : English
Type : Book
Description : Calculi of temporal logic are widely used in modern computer science. The temporal organization of information flows in the different architectures of laptops, the Internet, or supercomputers would not be possible without appropriate temporal calculi. In the age of digitalization and High-Tech applications, people are often not aware that temporal logic is deeply rooted in the philosophy of modalities. A deep understanding of these roots opens avenues to the modern calculi
RECOMMENDED BOOKS
The Digital Transformation of the Healthcare System
Katarzyna Kolasa
Extremes of Mobility
Stefan Bratzel
AI for Retail: A Practical Guide to Modernize Your Retail Business with AI and Automation
Francois Chaubard
Biochar for Environmental Management Science, Technology and Implementation 3/e
Johannes Lehmann
On-Board Processing for Satellite Remote Sensing Images
Guoqing Zhou
Point-Set Topology with Topics
Robert André
Legal Problems of International Organizations
Morgenstern
Principles of Intercultural Communication
Igor E. Klyukanov