Mostra 1 - 15 risultati di 15 ricerca '"Formal methods"', tempo di risposta: 0,06s Raffina i risultati
1
di Davies, Jim, Silva, Leila, Simao, Adenilso
Pubblicazione 2015
Soggetti: ...Formal methods...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Testo
2
Pubblicazione 2001
Soggetti: ...Formal methods (Computer science) Congresses....
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
3
4
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
5
di Núñez, Manuel, Güdemann, Matthias
Pubblicazione 2015
Soggetti: ...Formal methods...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Testo
6
7
Soggetti: ...Formal methods...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
8
Soggetti: ...Formal methods...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Testo
9
Soggetti: ...Formal methods...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
10
11
di Bjørner, Nikolaj, de Boer, Frank
Pubblicazione 2015
Soggetti: ...Formal methods...
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Testo
12
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ơ
13
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ơ
14
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ơ
15
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ơ