Giới thiệu ngôn ngữ đặc tả Z

Ngôn ngữ Z là ngôn ngữ đặc tả hình thức cho hệ thống máy tính dựa trên cơ sở lý thuyết tập hợp, logic vị từ và sử dụng sơ đồ để biểu diễn. Nhằm giúp các bạn hiểu hơn về vấn đề này, mời các bạn cùng tham khảo nội dung bài thuyết trình "Ngôn ngữ đặc tả Z". Hy vọng đây là tài liệu tham khảo hữu ích cho các bạn.

28p thanh136qn 26-10-2015 169 27   Download