The
Lib
.net
Online Library TheLib.net
» Author books / Книги автора Lisa Allali (auth.) Marino Miculan Ivan Scagnetto Furio Honsell (eds.)
Types for Proofs and Programs: International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers
pdf
Author:
Lisa Allali (auth.) Marino Miculan Ivan Scagnetto Furio Honsell (eds.)
Language:
English
Year:
2008
0
0
27.01.2024
1
0
Read online
Types for Proofs and Programs: International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers
pdf
Author:
Lisa Allali (auth.) Marino Miculan Ivan Scagnetto Furio Honsell (eds.)
Language:
English
Year:
2008
0
0
26.01.2024
2
0
Read online
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через