THÔNG TIN TÀI LIỆU
Thông tin cơ bản
Định dạng | |
---|---|
Số trang | 86 |
Dung lượng | 1,23 MB |
Nội dung
Ngày đăng: 27/07/2017, 20:24
Nguồn tham khảo
Tài liệu tham khảo | Loại | Chi tiết | ||||||
---|---|---|---|---|---|---|---|---|
[1] ThS Thạc Bình Cường, “Bài giảng điện tử môn học Kiểm thử và đảm bảo chất lượng phần mềm”. ĐHBK HN, 2010 | Sách, tạp chí |
|
||||||
[2] Thư viện cao học trường Đại học Công nghệ thông tin, “ Kiểm thử phần mềm”, 2010.Tiếng Anh | Sách, tạp chí |
|
||||||
[3] Christel Baier Joost-Pieter Katoen, “Principle Of Model Checking”, The MIT Press Cambridge, Massachusetts London, England, 2008 | Sách, tạp chí |
|
||||||
[4] Ian Sommerville (2004), “Software engineering, 7 th edition”, Thomas Casson, 2007 | Sách, tạp chí |
|
||||||
[5] Manuel Clavel - Francisco Durán - Steven Eker - Patrick Lincoln- Narciso Martí- Oliet José Meseguer - Carolyn Talcott, “All About Maude - A High- Performance Logical Framework”. Springer, 2007 | Sách, tạp chí |
|
||||||
[6] Peter Marweden (2006), “Embedded Systems Design”. Spinger, 2006 [7] http://en.wikipedia.org/wiki/Maude_system | Sách, tạp chí |
|
TỪ KHÓA LIÊN QUAN
TRÍCH ĐOẠN
TÀI LIỆU CÙNG NGƯỜI DÙNG
TÀI LIỆU LIÊN QUAN