bannerbanner
logologo
side-bannerside-banner
Static Analysis of Software. The Abstract Interpretation
Static Analysis of Software. The Abstract Interpretation

Полная версия

Static Analysis of Software. The Abstract Interpretation

О книге
Читать онлайн
Настройки чтения
Размер шрифта
Высота строк
Поля
Конец ознакомительного фрагмента
Купить и скачать всю книгу

Другие книги автора

Safety Management of Software-based Equipment
Safety Management of Software-based Equipment
Jean-Louis Boulanger
Formal Methods Applied to Industrial Complex Systems
Formal Methods Applied to Industrial Complex Systems
Jean-Louis Boulanger
Formal Methods Applied to Industrial Complex Systems. Implementation of the B Method
Formal Methods Applied to Industrial Complex Systems. Implementation of the B Method
Jean-Louis Boulanger
Formal Methods. Industrial Use from Model to the Code
Formal Methods. Industrial Use from Model to the Code
Jean-Louis Boulanger
Safety of Computer Architectures
Safety of Computer Architectures
Jean-Louis Boulanger
CENELEC 50128 and IEC 62279 Standards
CENELEC 50128 and IEC 62279 Standards
Jean-Louis Boulanger
Industrial Use of Formal Methods. Formal Verification
Industrial Use of Formal Methods. Formal Verification
Jean-Louis Boulanger
Industrial Use of Formal Methods. Formal Verification
Industrial Use of Formal Methods. Formal Verification
Jean-Louis Boulanger