Zobrazuji výsledky 1 - 3 z 3 pro vyhledávání 'Tasiran, Serdar', doba hledání: 0,04 s. Upřesnit hledání
1
Runtime Verification
Autor Sokolsky, Oleg, Tasiran, Serdar
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:
2
Computer Aided Verification
Autor Dillig, Isil, Tasiran, Serdar
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:
3
Computer Aided Verification
Autor Dillig, Isil, Tasiran, Serdar
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