Lecture Formal methods in software engineering: Relations in Z specification
18
lượt xem 2
download
lượt xem 2
download
Download
Vui lòng tải xuống để xem tài liệu đầy đủ
In this chapter, the following content will be discussed: Domain and range restriction, relation inverse and relation image, relation composition, formal specification languages, formal specification languages: VDM-SL, basic logical operators,...
Chủ đề:
Bình luận(0) Đăng nhập để gửi bình luận!
CÓ THỂ BẠN MUỐN DOWNLOAD