Đang chuẩn bị liên kết để tải về tài liệu:
Lecture Formal methods in software engineering: Relations in Z specification

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, . |