Đang chuẩn bị liên kết để tải về tài liệu:
Lecture note Formal methods in software engineering - Lecture 3
Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
On the one hand, this chapter will deal with many theoretical notions, such as the concept of computation which lies at the heart of automata theory. On the other hand, the exploration we’re about to embark on will let us get to know sev- eral practical techniques and applications, such as taking advantages of compiler compilers, which will hopefully help extending one’s panoply of essential tools. | .