Formal methods traditionally address the question of transforming software engineering into a mature engineering discipline. This essentially refers to trusting that the software-intensive systems that form our society’s infrastructures are behaving according to their specifications. More recently, formal methods are also used to understand propert
€57.37
यह ईबुक खरीदें और 1 और मुफ़्त पाएं!
भाषा अंग्रेज़ी ● स्वरूप PDF ● पेज 312 ● ISBN 9781498701594 ● संपादक Luigia Petre & Emil Sekerinski ● प्रकाशक CRC Press ● प्रकाशित 2016 ● डाउनलोड करने योग्य 3 बार ● मुद्रा EUR ● आईडी 4917136 ● कॉपी सुरक्षा Adobe DRM
एक DRM सक्षम ईबुक रीडर की आवश्यकता है
एक ही लेखक से अधिक ईबुक / संपादक
73,945 इस श्रेणी में ईबुक
