00845nam0 2200253 450 00001775420081020101044.0027302673920081020d1988----km-y0itay50------baengGBy-------001yySoftware engineering mathematicsformal methods demystifiedJ. Woodcock, M. LoomesLondonPitman1988291 p.24 cmInformaticaApplicazioni dell'analisi numerica005.13119Linguaggi di programmazione. Logica simbolica (matematica)Woodcock,Jim632110Loomes,Martin632111ITUNIPARTHENOPE20081020RICAUNIMARC000017754M 005.131/2M 1059DSA2008Software engineering mathematics1202014UNIPARTHENOPE02269nam0 22004933i 450 VEA003505420231121125918.0ITS11521 20030904d1965 ||||0itac50 baitalatitz01i xxxe z01nVita Columbani et discipulorum eiusJonastesto a cura di Michele Tosiversione italiana di E. Cremona e M. Paramidanipresentazione di E. Franceschini e J. LeclercqPiacenzaEmiliana Grafica1965XXXVIII, 206 p.ill.30 cmTesto orig. a frontePubbl. nel 27. cinquantenario della morte di S. Colombano, sotto gli auspici della Cassa di risparmio di Piacenza.Colombiano <santo> . BiografiaFIRRMLC385271IColombano <santo>BiografiaFIRRMLC216175IITPiacenzaMUSL00273227121Ionas : BobiensisMILV046464070220639Franceschini, EzioCFIV006338Leclercq, Jean <1911-1993>CFIV041427Tosi, MicheleVEAV022728Cremona, ErnestoVEAV022730Paramidani, MicheleVEAV022731Leclercq, Dom JeanBVEV216629Leclercq, Jean <1911-1993>Iona <abate>CAGV023001Ionas : BobiensisGiona <di Bobbio>CFIV192330Ionas : BobiensisJonas : de BobbioMILV046465Ionas : BobiensisJonasVEAV030350Ionas : BobiensisTosi, Michele <1931-1996>PBEV037489Tosi, MicheleITIT-0120030904IT-RM0418 IT-RM0151 IT-FR0017 BIBLIOTECA ACCADEMIA NAZ. DEI LINCEI E CORSINIANARM0418 Biblioteca Istituto Storico Italiano Medio Evo - IRM0151 Biblioteca umanistica Giorgio ApreaFR0017 NVEA0035054Biblioteca umanistica Giorgio Aprea 52MAG 7/1148 52MAG0000212025 VMN RS A 2017062920170629 10 41 52Vita Columbani et discipulorum eius3609192UNICAS