Lecture Formal methods in software engineering - Lecture 16
10
lượt xem 1
download
lượt xem 1
download
Download
Vui lòng tải xuống để xem tài liệu đầy đủ
In this chapter, the following content will be discussed: Cleanroom process teams, free and bound variables, universal quantification, one point rule, data structures, binary relations, relational calculus, operator symbols.
Chủ đề:
Bình luận(0) Đăng nhập để gửi bình luận!
CÓ THỂ BẠN MUỐN DOWNLOAD