![](images/graphics/blank.gif)
Introduction to Formal Methods
76
lượt xem 7
download
lượt xem 7
download
![](https://tailieu.vn/static/b2013az/templates/version1/default/images/down16x21.png)
Formal methods mathematical languages, techniques and tools, used to specify and verify systems, goal is help engineers construct more reliable systems. Introduction to Formal Methodspresents about introduction; formal specification; formalformal verificationverification; model checking; theorem proving.
Chủ đề:
Bình luận(0) Đăng nhập để gửi bình luận!
![](images/graphics/blank.gif)
CÓ THỂ BẠN MUỐN DOWNLOAD