Zobrazuji výsledky 1 - 1 z 1 pro vyhledávání 'Yoshida, Nobuko.', doba hledání: 0,07 s. Upřesnit hledání
1
A unified theory of program logics : An approach based on the pi-calculus /
Další autoři: “...Yoshida, Nobuko....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Přidat do oblíbených
Uloženo v:
Vyhledávací nástroje: RSS — Poslat e-mailem