Prikaz rezultata 1 – 1 od 1 za pretraživanje 'Cook, Byron', vrijeme pretraživanja: 0,03s Detaljiziraj rezultate
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
Preuzmi cijeli tekst
Spremi u popis
Spremljeno u:
Alati za pretraživanje: Preuzmi RSS sažetak — Pošalji ovo pretraživanje e-poštom