Đăng ký Đăng nhập
Trang chủ Giáo dục - Đào tạo Cao đẳng - Đại học Công nghệ thông tin Luận văn cntt phát triển các kỹ thuật tìm bất biến (invariants) và biến (variant...

Tài liệu Luận văn cntt 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

.PDF
66
142
119

Mô tả:

Tài liệu liên quan