Online Library TheLib.net » Author books / Книги автора Lisa Allali (auth.) Marino Miculan Ivan Scagnetto Furio Honsell (eds.)
book Types for Proofs and Programs: International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers
Types for Proofs and Programs: International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers
pdf
00
27.01.2024
1
0
Read online
book Types for Proofs and Programs: International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers
Types for Proofs and Programs: International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers
pdf
00
26.01.2024
2
0
Read online