دانلود کتاب Reasoning About Program Transformations: Imperative Programming and Flow of Data
by Jean-François Collard (eds.)
|
عنوان فارسی: استدلال در مورد تحول برنامه: برنامه نویسی آمرانه و جریان داده ها |