Quay lại

Formal methods: an appetizer

...
Phân loại DDC: 004
Nhan đề dịch: Phương pháp chính thức
Tác giả: Nielson, Flemming
Thông tin xb: Switzerland: Springer, 2019
Mô tả vật lý: 160tr., 27cm
Từ khóa: Công nghệ thông tin; Phương pháp

Tìm kiếm thêm

Đăng ký nhận tài liệu

Nhập E-mail của bạn và bấm “Đăng ký” để nhận được những tài liệu mới nhất

TRUNG TÂM THƯ VIỆN VÀ CÔNG NGHỆ THÔNG TIN
Địa chỉ: Số 41A đường Phú Diễn, Q. Bắc Từ Liêm, TP. Hà Nội
Điện thoại: 024.38370598.