KHO THƯ VIỆN 🔎

(LUẬN văn THẠC sĩ) phát triển các kỹ thuật tìm bất biến (invariants) và biến (variants) cho việc sử dụng hoare logic để chứng minh tính đúng đắn của chu trình

Thông tin thanh toán




Đơn hàng của bạn


SẢN PHẨMTHÀNH TIỀN
Phí tải tài liệu :(LUẬN văn THẠC sĩ) phát triển các kỹ thuật tìm bất biến (invariants) và biến (variants) cho việc sử dụng hoare logic để chứng minh tính đúng đắn của chu trình170.000₫
Thuế17.000₫
TỔNG CỘNG187.000₫

Thông tin cá nhân của bạn sẽ được sử dụng để xử lý đơn hàng, tăng trải nghiệm sử dụng website.




Gọi ngay
Chat zalo
Facebook