関連のトピックス ...
関連のトピックス ...
Development,Phát triển
2
UML (Computer science),Formal methods (Computer science),Computer software,UML ( khoa học máy tính ),Phương pháp chính ( khoa học máy tính ),Phần mềm máy tính
2
Formal methods (Computer science)
1
Integrated circuits,Formal methods (Computer science),Mạch tích hợp,Phương pháp hình thức (Khoa học máy tính),Systems on a chip,Hệ thống trên một chip
1
Real-time data processing,Computer software,Formal methods (Computer science),Xử lý dữ liệu tại chỗ,Phần mềm máy tính,Phương pháp chính ( khoa học vi tính )
1
Verification,Mã xác nhận,Testing,Thử nghiệm
1
Verification,Xác minh
1
もっと見る ...
1
2
出版事項 2001
主題:
“...Formal methods (Computer science) Congresses....”
Thư viện lưu trữ:
Thư viện Trường Đại học Đà Lạt
3
4
主題:
“...Formal methods (Computer science)...”
Thư viện lưu trữ:
Thư viện Trường Đại học Đà Lạt
全文の入手
5
6
7
8
9
Thư viện lưu trữ:
Thư viện Trường Đại học Đà Lạt
10
11
12
著者: Drusinsky, Doron
出版事項 2006
主題:
“...UML (Computer science),Formal methods (Computer science),Computer software,UML ( khoa học máy...”出版事項 2006
Thư viện lưu trữ:
Trung tâm Học liệu Trường Đại học Cần Thơ
13
著者: Drusinsky, Doron
出版事項 2006
主題:
“...UML (Computer science),Formal methods (Computer science),Computer software,UML ( khoa học máy...”出版事項 2006
Thư viện lưu trữ:
Trung tâm Học liệu Trường Đại học Cần Thơ
14
出版事項 2008
主題:
“...Real-time data processing,Computer software,Formal methods (Computer science),Xử lý dữ liệu...”
Thư viện lưu trữ:
Trung tâm Học liệu Trường Đại học Cần Thơ
15
著者: Fujita, Masahiro
出版事項 2008
主題:
“...Integrated circuits,Formal methods (Computer science),Mạch tích hợp,Phương pháp hình thức...”出版事項 2008
Thư viện lưu trữ:
Trung tâm Học liệu Trường Đại học Cần Thơ