@BOOK{ Book!D - 90177075,
AUTHOR = " by André Platzer.",
TITLE = "Logical Foundations of Cyber-Physical Systems /",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "Artificial intelligence.,Automatic control.,Computer science.,Industrial safety.,Logic, Symbolic and mathematical.,Mechatronics.,Quality control.,Reliability.,Robotics.,Artificial intelligence.,Automatic control.,Computer science.,Industrial safety.,Logic, Symbolic and mathematical.,Mechatronics.,Quality control.,Reliability.,Robotics.",
URL = "/book/90177075/Logical-Foundations-of-CyberPhysical-Systems/"}