Все книги автора Margaria Tiziana
Найдено 1 книг
Formal Methods for Industrial Critical Systems. A Survey of Applicatio...
Formal Methods for Industrial Critical Systems. A Survey of Applications
Today, formal methods are widely recognized as an essential step in the design process of industrial...