Toon 1 - 3 resultaten van 3 Voor zoekopdracht 'Honsell, Furio.', zoektijd: 0,33s Verfijn jouw resultaten
1
Types for Proofs and Programs
door Miculan, Marino, Scagnetto, Ivan, Honsell, Furio
Gepubliceerd in 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volledige tekst
Toevoegen aan favorieten
Bewaard in:
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 /
Gepubliceerd in 2001
Andere auteurs: “...Honsell, Furio....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Toevoegen aan favorieten
Bewaard in:
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 /
Gepubliceerd in 2001
Andere auteurs: “...Honsell, Furio....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Toevoegen aan favorieten
Bewaard in:
Zoekinstrumenten: Abonneren op RSS-datastromen — Zoekopdracht versturen