Đang hiển thị 1 - 1 kết quả của 1 cho tìm kiếm 'Cook, Byron', čas poizvedbe: 0.02s Tinh chỉnh kết quả
1
Verification, Model Checking, and Abstract Interpretation
od Cook, Byron, Podelski, Andreas
Izdano 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Polni tekst
Dodaj v priljubljene
Shranjeno v:
Iskalna orodja: RSS — Pošljite iskanje po emailu