TY - BOOK A1 - André Platzer. TI - Logical foundations of cyber-physical systems / PB - مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی SN - 90177076 UR /book/90177076/Logical-foundations-of-cyberphysical-systems/ ER -