Đăng ký Đăng nhập
Trang chủ Phát triển các kỹ thuật tìm bất biến (invariants) và biến (variants) cho việc sử...

Tài liệu 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

.DOC
78
9
85

Mô tả:

Tài liệu liên quan