Gnesi Stefania - все книги скачать или читать онлайн бесплатно
bannerbanner

Gnesi Stefania

Произведения автора 1

Только полные версии книг

РОМАНЫ и ПОВЕСТИ

Formal Methods for Industrial Critical Systems. A Survey of Applications
электронная книга
5
Год написания книги 2018
Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses a…