Gösterilen 1 - 2 sonuçlar arası kayıtlar. 2 sonuç. Aranan kelime 'Butler, Michael', Sorgu süresi: 0.06s Sonuçları Daraltın
1
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Yazar: Butler, Michael, Raschke, Alexander, Hoang, Thai Son, Reichl, Klaus
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 Software Engineering
Yazar: Butler, Michael, Hinchey, Michael G., Larrondo-Petrie, Maria M.
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