Новинки
Популярные книги
Популярные аудиокниги
Популярные авторы
Блог
Советы
Жанры
современная русская литература
современная зарубежная литература
современные любовные романы
учебники и пособия для вузов
книги о приключениях
стихи и поэзия
русская классика
Еще жанры
мистика
биографии и мемуары
зарубежная классика
книги по экономике
газеты
любовное фэнтези
публицистика
современные детективы
сказки
саморазвитие / личностный рост
научная фантастика
политология
историческая литература
Новинки
Дионмарк - Перемазанные
Эльвира Браун - Гаврик
Эльвира Браун - Кукла (дневник судьбы)
Война Владимирович Владимир - Вдохновение эпохи: великие открытия 19 века
Элиас Ярвинен - На языке китов. Без платочка
Григорий Раст - По разные стороны
Лидия Демидова - Мое глазастое наследство
Все новинки
Обратная связь
Частые вопросы
Политика приватности данных
Наша почта:
info@fenzin.org
Главная
техническая литература
Jean-Louis Boulanger
Formal Methods. Industrial Use from Model to the Code
Читать онлайн
Formal Methods. Industrial Use from Model to the Code
Полная версия
Formal Methods. Industrial Use from Model to the Code
текст
0
0
Jean-Louis Boulanger
Жанр:
техническая литература
Язык:
Английский
Год издания:
2018
Добавлена:
21.02.20
О книге
Читать онлайн
Настройки чтения
Размер шрифта
Высота строк
Поля
Конец ознакомительного фрагмента
Купить и скачать всю книгу
Другие книги автора
Safety Management of Software-based Equipment
Jean-Louis Boulanger
Formal Methods Applied to Industrial Complex Systems
Jean-Louis Boulanger
Formal Methods Applied to Industrial Complex Systems. Implementation of the B Method
Jean-Louis Boulanger
Static Analysis of Software. The Abstract Interpretation
Jean-Louis Boulanger
Industrial Use of Formal Methods. Formal Verification
Jean-Louis Boulanger
Safety of Computer Architectures
Jean-Louis Boulanger
CENELEC 50128 and IEC 62279 Standards
Jean-Louis Boulanger
Industrial Use of Formal Methods. Formal Verification
Jean-Louis Boulanger
Formal Methods. Industrial Use from Model to the Code
Jean-Louis Boulanger
Static Analysis of Software. The Abstract Interpretation
Jean-Louis Boulanger