Gösterilen 1 - 2 sonuçlar arası kayıtlar. 2 sonuç. Aranan kelime 'Davies, Jim', Sorgu süresi: 0.02s Sonuçları Daraltın
1
Integrated Formal Methods
Yazar: Davies, Jim, Gibbons, Jeremy
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: Foundations and Applications
Yazar: Davies, Jim, Silva, Leila, Simao, Adenilso
Baskı/Yayın Bilgisi 2015
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