Přeskočit na obsah
Toggle navigation
English
Odhlásit
Jednotné přihlášení NTK
Vše
Název
Autor
Předmětové heslo
LCC signatura
Stará signatura
ISBN/ISSN
Tag
Systémové číslo
Hledat
Pokročilé vyhledávání
Hlavní strana
Publikace dané osoby
Damiani, Ferruccio
Biografické údaje:
Italský autor publikací z oboru softwaru, zaměřen na programovací jazyky.
Zdroj:
Berardi, S. - Coppo, M. - Damiani, F.: Types for proofs and programs, 2004
ICCU
www(Universita di Torino)
Další informace:
Publikace dané osoby
3
Publikace o dané osobě
0
Metadata
Podrobné výsledky >>
Formal methods for executable software models : 14th International school on formal methods for the design of computer, communication, and software systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014 : advanced lectures
Types for proofs and programs : international conference, TYPES 2008, Torino, Italy, March 26-29, 2008 : revised selected papers
Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2004 : selected papers
Publikace dané osoby
×
Načítá se...