Đang hiển thị 1 - 1 kết quả của 1 cho tìm kiếm 'Yang, Xuejun.', זמן שאילתה: 0.05s Tinh chỉnh kết quả
1
Slicing execution with partial weakest precondition for model abstraction of C programs /
מאת Yang, Xuejun.
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
הוספה למועדפים
שמור ב:
כלי חיפוש: קבל רסס (RSS) — שליחת חיפוש דרך דואל