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...
लेखक के बारे में
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 सक्षम ईबुक रीडर की आवश्यकता है