Mostra 1 - 6 risultati di 6 ricerca '"Formal methods (Computer science)"', tempo di risposta: 0,15s Raffina i risultati
1
Pubblicazione 2001
Soggetti: ...Formal methods (Computer science) Congresses....
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
2
di Louërat, Marie-Minerve, Maehne, Torsten
Pubblicazione 2015
Soggetti: ...Formal methods (Computer science)...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Testo
3
di Drusinsky, Doron
Pubblicazione 2006
Soggetti: ...UML (Computer science),Formal methods (Computer science),Computer software,UML ( khoa học máy...
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ
4
di Drusinsky, Doron
Pubblicazione 2006
Soggetti: ...UML (Computer science),Formal methods (Computer science),Computer software,UML ( khoa học máy...
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ
5
Pubblicazione 2008
Soggetti: ...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ơ
6
di Fujita, Masahiro
Pubblicazione 2008
Soggetti: ...Integrated circuits,Formal methods (Computer science),Mạch tích hợp,Phương pháp hình thức...
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ