دانلود کتاب Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems
by Dan Craigen
|
عنوان فارسی: نرم افزار صنعتی روش های رسمی به مدل، طراحی و تجزیه و تحلیل سیستم های کامپیوتری |