Zobrazuji výsledky 1 - 1 z 1 pro vyhledávání 'Kumar, K. Narayan', doba hledání: 0,03 s. Upřesnit hledání
1
Automated Technology for Verification and Analysis
Autor D'Souza, Deepak, Kumar, K. Narayan
Vydáno 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
Vyhledávací nástroje: RSS — Poslat e-mailem