Gösterilen 1 - 2 sonuçlar arası kayıtlar. 2 sonuç. Aranan kelime 'Strichman, Ofer', Sorgu süresi: 0.05s Sonuçları Daraltın
1
Decision Procedures
Yazar: Kroening, Daniel, Strichman, Ofer
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
Hardware and Software: Verification and Testing
Yazar: Strichman, Ofer, Tzoref-Brill, Rachel
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