Characterizing Bisimulations Categorie, processi, linguaggi: Algebra e logica al servizio dellinformatica Paolo Bottoni Anna Labella.
FINALITA DELLISTITUTO LIstituto delle Piccole Suore della Sacra Famiglia opera in Scuole che sono espressione della sollecitudine della Chiesa, per offrire.