This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logi
€92.42
यह ईबुक खरीदें और 1 और मुफ़्त पाएं!
स्वरूप PDF ● पेज 350 ● ISBN 9781498775335 ● प्रकाशक CRC Press ● प्रकाशित 2019 ● डाउनलोड करने योग्य 3 बार ● मुद्रा EUR ● आईडी 7125440 ● कॉपी सुरक्षा Adobe DRM
एक DRM सक्षम ईबुक रीडर की आवश्यकता है
एक ही लेखक से अधिक ईबुक / संपादक
48,151 इस श्रेणी में ईबुक
