Produkt mají v nabídce:
Formal Methods for Industrial Critical Systems - Gnesi, Stefania a Margaria, Tiziana
Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems.
Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems.