Nghiên cứu và xây dựng công cụ hỗ trợ mô hình hóa hệ thống Triggers bằng event -B

N

nguyenthuctuan

New Member
Luận văn:Nghiên cứu và xây dựng công cụ hỗ trợ mô hình hóa hệ thống Triggers bằng event -B : Luận văn ThS. Công nghệ thông tin: 60 48 05
Nhà xuất bản:ĐHCN
Đại học Quốc gia Hà Nội
Ngày:2013
Chủ đề:Công nghệ thông tin
Hệ thống thông tin
Hệ thống Triggers
Event -B
Miêu tả:61 tr. + CD-ROM + tóm tắt
Luận văn ThS. Hệ thống thông tin -- Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội, 2013
Electronic Resources
Kiểu:text
Định dạng:text/pdf
Bảo hiểm:Thư viện nhà C1T Xuân Thủy – Cầu Giấy – Hà Nội
Quyền:Access limited to members
Link tải Free download cho anh em Ketnooi:
You must be registered for see links

 
Bạn phải đăng nhập hoặc đăng ký để trả lời ở đây.
Các chủ đề có liên quan khác
Tạo bởi Tiêu đề Blog Lượt trả lời Ngày
D Mối quan hệ giữa giá chứng khoán và tỷ giá hối đoái – Nghiên cứu thực nghiệm tại Việt Nam Luận văn Kinh tế 0
D Nghiên cứu mối quan hệ giữa tỷ giá hối đoái và giá chứng khoán Luận văn Kinh tế 0
D Nghiên cứu thành phần hóa học và đánh giá tác dụng diệt tế bào ung thư của lá Xạ đen Y dược 0
D Nghiên Cứu Đặc Điểm Lâm Sàng Và Kết Quả Điều Trị Bệnh Thủy Đậu Bằng Zincpaste Y dược 0
D Nghiên cứu quy trình tổng hợp vật liệu aerogels từ xơ dừa và ứng dụng hấp phụ Khoa học Tự nhiên 0
D Nghiên Cứu, Chế Tạo Carbon Cellulose Aerogel Từ Hỗn Hợp Sợi Lá Dứa Và Sợi Cotton Ứng Dụng Trong Hấp Phụ Khoa học Tự nhiên 0
D Nghiên cứu và thiết kế mô hình học tập hệ thống phun xăng đánh lửa và chẩn đoán trên ô tô Khoa học kỹ thuật 0
D nghiên cứu các phương pháp phân lớp dữ liệu và ứng dụng trong bài toán dự báo thuê bao rời mạng viễn thông Công nghệ thông tin 0
D Nghiên cứu về mạng Nơron tích chập và ứng dụng cho bài toán nhận dạng biển số xe Công nghệ thông tin 0
D Nghiên cứu và đề xuất quy trình xây dựng hệ thống mạng an toàn Công nghệ thông tin 0

Các chủ đề có liên quan khác

Top