Đang chuẩn bị liên kết để tải về tài liệu:
Lecture note Formal methods in software engineering - Lecture 1
Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
The goal of this lecture series is to provide training in formal thinking to students of applied informatics. Students should learn to analyze and solve problems us- ing formal methods. The class will expose students to a wide set of problems and show ways of solving them. Formal methods, as they are used in theoretical computer science, constitute an essential part of a computer science education, not only for those who target an academic or research career, but also for practi- tioners. | .