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

Jean-Louis Boulanger Static Analysis of Software. The Abstract Interpretation

Name: Static Analysis of Software. The Abstract Interpretation
Rating: 4 (25 reviews)
Author: Jean-Louis Boulanger
ISBN: 9781118602843

+ Увеличить шрифт
- Уменьшить шрифт

Купить и скачать всю книгу

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

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

Industrial Use of Formal Methods. Formal Verification

Formal Methods. Industrial Use from Model to the Code

Все книги автора