Đang hiển thị 1 - 2 kết quả của 2 cho tìm kiếm 'Podelski, Andreas', čas poizvedbe: 0.04s Tinh chỉnh kết quả
1
Static Analysis
od 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:
2
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