Ebooks de Stefania Gnesi en PDF et EPUB

1 Livre(s)
Télécharger le livre : Formal Methods for Industrial Critical Systems
Ajouter à ma liste d'envies
Formal Methods for Industrial Critical Systems
Stefania Gnesi , Tiziana Margaria
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 all notations having a precise mathematical semantics, together with their...

Editeur : Wiley-IEEE Computer Society Pr
Parution : 2012-11-27

PDF, ePub

97,01 €