Výsledky hledání pro autora

1

Obálka

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

Vydáno 2001

Další autoři: '; “...Honsell, Furio...”

Kniha

2

Obálka

Types for proofs and programs : International Conference, TYPES 2007 : Cividale del Friuli, Italy, May 2-5, 2007 : revised selected papers /

Vydáno 2008

Další autoři: '; “...Honsell, Furio...”

Kniha