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
Whisky Science
Gregory H. Miller
Orthodontic Evidence
Samer Mheissen
Design of Hybrid Structures: Where Steel Profiles Meet Concrete
André Plumier
Clinical Reasoning for Medical Students
Lasith Ranasinghe
Wilhelm von Humboldt and Early American Linguistics
Drechsel
AI in Agriculture for Sustainable and Economic Management
Sirisha Potluri
The Art of Skin Graft: Advanced Graft Technique
Young-Chul Jang
Botulinum Toxin : Procedures in Cosmetic Dermatology
Alastair Carruthers