Жанры
Новинки
Аудиокниги
Вебтуны
Бесплатные книги
Краткий пересказ
Рейтинг книг
Авторы
Серии
Блог
Поиск:
По книге
По автору
Войти
Популярные жанры:
Популярные жанры:
любовные романы
фэнтези
учебная и научная литература
современная русская литература
современные любовные романы
современная зарубежная литература
детективы
об истории серьезно
приключения
книги о приключениях
ужасы / мистика
учебники и пособия для вузов
cтихи, поэзия
Еще жанры
книги по психологии
стихи и поэзия
гуманитарные и общественные науки
русская классика
мистика
боевики, остросюжетная литература
публицистическая литература
любовное фэнтези
биографии и мемуары
эротика и секс
современные детективы
короткие любовные романы
сказки
попаданцы
литература 19 века
научная фантастика
юмористическая литература
саморазвитие / личностный рост
культура и искусство
медицина и здоровье
триллеры
публицистика
историческая научная и учебная литература
журналы
зарубежная классика
историческая литература
героическое фэнтези
технические науки
научно-популярная литература
боевая фантастика
эротические романы
русское фэнтези
зарубежная деловая литература
прочая образовательная литература
остросюжетные любовные романы
боевое фэнтези
зарубежные любовные романы
Главная
📚
зарубежная компьютерная литература
Jean-Louis Boulanger
Static Analysis of Software. The Abstract Interpretation
добавлено
10.12.2023 06:16
Текст
Добавить
В библиотеку
3
Поделиться
Static Analysis of Software. The Abstract Interpretation
Jean-Louis Boulanger
Жанр:
Зарубежная компьютерная литература
Программирование
Язык:
Английский
Тип:
Текст
Год издания:
2018
ISBN:
9781118602843
Бесплатный фрагмент:
pdf
Полная версия
О книге
Читать
Другие книги автора:
Previous
Safety Management of Software-based Equipment
Formal Methods Applied to Industrial Complex Systems
Formal Methods Applied to Industrial Complex Systems. Implementation of the B Method
Safety of Computer Architectures
Formal Methods. Industrial Use from Model to the Code
Formal Methods. Industrial Use from Model to the Code
Industrial Use of Formal Methods. Formal Verification
CENELEC 50128 and IEC 62279 Standards
Safety Management of Software-based Equipment
Formal Methods Applied to Industrial Complex Systems
Formal Methods Applied to Industrial Complex Systems. Implementation of the B Method
Safety of Computer Architectures
Formal Methods. Industrial Use from Model to the Code
Formal Methods. Industrial Use from Model to the Code
Industrial Use of Formal Methods. Formal Verification
CENELEC 50128 and IEC 62279 Standards
Safety Management of Software-based Equipment
Formal Methods Applied to Industrial Complex Systems
Formal Methods Applied to Industrial Complex Systems. Implementation of the B Method
Safety of Computer Architectures
Formal Methods. Industrial Use from Model to the Code
Formal Methods. Industrial Use from Model to the Code
Industrial Use of Formal Methods. Formal Verification
CENELEC 50128 and IEC 62279 Standards
Next
Популярные книги
Previous
Будущий автор
Литрес Самиздат
Зов Латыря. Вой за спиной
Николай Шамин
Частота. Выбирать, а не выживать.
Ирина Ашина
Последний рассвет Эдема
Vadim Viktorovich Bochkow
Мотыльки – ожившая тьма!
Глеб Евгеньевич Ляликов
Очередь
Ирина Одарчук Паули Ирина Одарчук Паули
Сирена
Вона Брук Вона Брук
Как я докатился до Любви
Николай Уманский
Лукинские хроники
Надежда Янаева
Выпускной
Евгений Луковцев
Как стать стервой и получать от жизни всё
Альбина Счастливая
Будущий автор
Литрес Самиздат
Зов Латыря. Вой за спиной
Николай Шамин
Частота. Выбирать, а не выживать.
Ирина Ашина
Последний рассвет Эдема
Vadim Viktorovich Bochkow
Мотыльки – ожившая тьма!
Глеб Евгеньевич Ляликов
Очередь
Ирина Одарчук Паули Ирина Одарчук Паули
Сирена
Вона Брук Вона Брук
Как я докатился до Любви
Николай Уманский
Лукинские хроники
Надежда Янаева
Выпускной
Евгений Луковцев
Как стать стервой и получать от жизни всё
Альбина Счастливая
Будущий автор
Литрес Самиздат
Зов Латыря. Вой за спиной
Николай Шамин
Частота. Выбирать, а не выживать.
Ирина Ашина
Последний рассвет Эдема
Vadim Viktorovich Bochkow
Мотыльки – ожившая тьма!
Глеб Евгеньевич Ляликов
Очередь
Ирина Одарчук Паули Ирина Одарчук Паули
Сирена
Вона Брук Вона Брук
Как я докатился до Любви
Николай Уманский
Лукинские хроники
Надежда Янаева
Выпускной
Евгений Луковцев
Как стать стервой и получать от жизни всё
Альбина Счастливая
Next
Авторизация
Email:
*
Пароль:
*
Зарегистрироваться
Восстановить пароль
Текст 
