Осы электрондық кітап туралы ақпарат
This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024.
The 11 full papers, 5 short papers and 2 tool papers included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows: Invited Paper; Cyber-physical Systems; Temporal Logics; Speci cation and Visualization; Deep Neural Networks; and Distributed Systems.
This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024.
The 11 full papers, 5 short papers and 2 tool papers included in this book were carefully reviewed and selected from 31 subm...
Ұқсас кітаптар
Осы электрондық кітапты бағалаңыз.
Пікіріңізбен бөлісіңіз.
Ақпаратты оқу
Смартфондар мен планшеттер
Android және iPad/iPhone үшін Google Play Books қолданбасын орнатыңыз. Ол аккаунтпен автоматты түрде синхрондалады және қайда болсаңыз да, онлайн не офлайн режимде оқуға мүмкіндік береді.
Ноутбуктар мен компьютерлер
Google Play дүкенінде сатып алған аудиокітаптарды компьютердің браузерінде тыңдауыңызға болады.
eReader және басқа құрылғылар
Kobo eReader сияқты E-ink технологиясымен жұмыс істейтін құрылғылардан оқу үшін файлды жүктеп, оны құрылғыға жіберу керек. Қолдау көрсетілетін eReader құрылғысына файл жіберу үшін Анықтама орталығының нұсқауларын орындаңыз.
