Gösterilen 1 - 4 sonuçlar arası kayıtlar. 4 sonuç. Aranan kelime 'Liu, Zhiming', Sorgu süresi: 0.04s Sonuçları Daraltın
1
Domain Modeling and the Duration Calculus
Yazar: George, Chris, Liu, Zhiming, Woodcock, Jim
Baskı/Yayın Bilgisi 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Tam Metin Erişim
Favorilerime ekle
Kaydedildi:
2
Formal Methods and Hybrid Real-Time Systems
Yazar: Jones, Cliff B., Liu, Zhiming, Woodcock, Jim
Baskı/Yayın Bilgisi 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Tam Metin Erişim
Favorilerime ekle
Kaydedildi:
3
Engineering Trustworthy Software Systems
Yazar: Bowen, Jonathan P., Liu, Zhiming, Zhang, Zili
Baskı/Yayın Bilgisi 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Tam Metin Erişim
Favorilerime ekle
Kaydedildi:
4
Theoretical Aspects of Computing - ICTAC 2007
Yazar: Jones, Cliff B., Liu, Zhiming, Woodcock, Jones
Baskı/Yayın Bilgisi 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Tam Metin Erişim
Favorilerime ekle
Kaydedildi:
Arama Araçları: RSS Beslemesi — Aramayı e-posta ile gönder