Kiểm chứng từng phần cho chương trình C
Trình bày cơ sở lý luận về kiểm chứng. Trình bày các khái niệm cơ bản liên quan như các khái niệm về mô hình chuyển trạng thái được gán nhãn Hệ chuyển trạng thái gán nhãn (LTS), các phương pháp biểu diễn LTS, khái niệm về trừu tượng hóa hành vi của hệ thống Trìu tượng hóa thủ tục (PA), cũng nh...
محفوظ في:
| المؤلفون الرئيسيون: | , |
|---|---|
| التنسيق: | Theses and Dissertations |
| اللغة: | other |
| منشور في: |
Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội
2016
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | http://repository.vnu.edu.vn/handle/VNU_123/6461 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| المؤسسة: | Vietnam National University, Hanoi |
| اللغة: | other |