18+
На сайте представлено только описание и выходные данные книги «Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки А. Г. Тормасов, Н. В. Заборовский». Сайт не является распространителем книги. Сайт не предоставляет возможности купить, читать онлайн или скачать бесплатно книгу «Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки А. Г. Тормасов, Н. В. Заборовский». Сайт предназначен для лиц старше 18 лет. Если вам не исполнилось 18 лет - незамедлительно покиньте сайт. Оставаясь на сайте вы подтверждаете, что вам исполнилось 18 лет.
Незаконное потребление наркотических средств, психотропных веществ, их аналогов причиняет вред здоровью, их незаконный оборот запрещен и влечет установленную законодательством ответственность
В статье проанализирован подход к статическому анализу кода на предмет обнаружения состояний гонки. Он ориентирован на реальные задачи со сложными конструкциями кода, включающие циклы и ветвления. Предложенный метод включает моделирование исполнения многопоточного приложения и анализ построенной модели. Модель подходит для реальных задач, под которыми понимаются те, где логика и понятие корректности привязаны к конкретным значениям переменных и истории операций над разделяемыми переменными, а не к попарному их сопоставлению.
Перед выбором сравните язык, год, издательство и формат в сведениях ниже. У одной книги могут быть разные переводы и издания.
ISBN этого издания: 978-5-457-38207-7. По нему можно отличить издание от других версий книги.
Описание помогает оценить тему книги; отзывы читателей позволяют дополнить его личным опытом. Оценку и отзыв оставляйте после знакомства с книгой.
izbe.ru