Yazar Araması Sonucu

1

Types for Proofs and Programs

Types for Proofs and Programs

Yazar: Miculan, Marino, Scagnetto, Ivan, Honsell, Furio
Baskı/Yayın Bilgisi 2020

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

Tam Metin Erişim

2

Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /

Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /

Baskı/Yayın Bilgisi 2001

Diğer Yazarlar: “...Honsell, Furio....”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

3

Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /

Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /

Baskı/Yayın Bilgisi 2001

Diğer Yazarlar: “...Honsell, Furio....”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt