Stefania Gnesi & Tiziana Margaria 
Formal Methods for Industrial Critical Systems [PDF ebook] 
A Survey of Applications

समर्थन

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 associated analysis methods, that allow description and
reasoning about the behavior of a system in a formal manner.
Growing out of more than a decade of award-winning collaborative
work within the European Re...

और पढो
€82.99
भुगतान की विधि

लेखक के बारे में

STEFANIA GNESI is Director of Research and head of the
Formal Methods and Tools Laboratory at ISTI-CNR (Istituto di
Scienza e Tecnologie dell’Informazione-Consigl...

और पढो
यह ईबुक खरीदें और 1 और मुफ़्त पाएं!
भाषा अंग्रेज़ी ● स्वरूप PDF ● पेज 292 ● ISBN 9781118459867 ● फाइल का आकार 8.4 MB ● प्रकाशक John Wiley & Sons ● प्रकाशित 2012 ● संस्करण 1 ● डाउनलोड करने योग्य 24 महीने ● मुद्रा EUR ● आईडी 2606220 ● कॉपी सुरक्षा Adobe DRM
एक DRM सक्षम ईबुक रीडर की आवश्यकता है

एक ही लेखक से अधिक ईबुक / संपादक

18,901 इस श्रेणी में ईबुक