Đăng nhập
 Thông tin tài khoản Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
Tìm được 7 kết quả
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Tác giả: Benjamin Weiß
Xuất bản: Karlsruhe: KIT Scientific Publishing, 2011
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.14
 Thêm vào giỏ
 
Verification-based software-fault detection
Tác giả: Christoph David Gladisch
Xuất bản: Karlsruhe: KIT Scientific Publishing, 2011
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.14
 Thêm vào giỏ
 
Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs
Tác giả: Christian Hammer
Xuất bản: Karlsruhe: KIT Scientific Publishing, 2009
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.14
 Thêm vào giỏ
 
Towards automated restructuring of object oriented systems
Tác giả: Adrian Ioan Alexandru Trifu
Xuất bản: Karlsruhe: KIT Scientific Publishing, 2008
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.14
 Thêm vào giỏ
 
Software testing : testing across the entire software development life cycle
Tác giả: Gerald D Everett, Raymond McLeod
Xuất bản: Piscataway New Jersey: IEEE Press, 2007
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.14
 Thêm vào giỏ
 
Software measurement and estimation : a practical approach
Tác giả: Linda M Laird, M Carol Brennan
Xuất bản: Hoboken New Jersey: John Wiley Sons, 2006
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.14
 Thêm vào giỏ
 
Software war stories : case studies in software management
Tác giả: Donald J Reifer
Xuất bản: Hoboken New Jersey: Wiley, 2013
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.14
 Thêm vào giỏ
 
1

Truy cập nhanh danh mục

Sách tham khảo
Đồ án TN ĐH-CĐ
Tài liệu điện tử
Truy cập mở
Nghiên cứu khoa học
Sách giáo trình
Báo-Tạp chí
Metadata
Sách tra cứu
Luận văn Thạc sĩ
Luận án Tiến sĩ
Media