01308nam--2200385---450 99000095747020331620180312154718.03-540-42124-60095747USA010095747(ALEPH)000095747USA01009574720020212d2001----km-y0ITAy0103-------baENGDEModel checking software8th International SPIN workshopToronto, Canada, May 19-20, 2001proceedingsMatthew Dwyer (ed.)Berlin [etc.]Springer-Verlagcopyr. 2001VI, 311 p.ill.20 cmLecture notes in computer science20572001Lecture notes in computer science2057SoftwareCongressi2001Elaboratori elettroniciProgrammazioneCongressi2001005.1Dwyer,MatthewInternational SPIN workshop <8. ; 2001 ; Toronto, Canada>552619ITACBSISBD990000957470203316001 LNCS (2057)0026430 CBS00100104796BKSCIALANDI9020020212USA01160720020403USA011738PATRY9020040406USA011706Model checking software973452UNISA02059nam0 2200445 i 450 RAV030589820251003044329.08886166524IT98-5021 19980123d1997 ||||0itac50 baitaitz01i xxxe z01nˆLa ‰diffusione del credito e le banche popolariLuigi Luzzattia cura di Paolo PecorariVeneziaIstituto veneto di scienze, lettere ed arti1997LXXXVIII, 164 p.ill.; 24 cmBiblioteca luzzattiana7In cop.: Istituto veneto di scienze, lettere ed arti.001CFI01717592001 Biblioteca luzzattiana7Banche popolariFIRMILC064701ICreditoFIRCFIC008499E332.3ISTITUTI DI CREDITO E PRESTITO20332.7CREDITO21332.7094CREDITO. EUROPA19334.22COOPERATIVE20Attività dei creditiCreditoAttività dei creditiLuzzatti, LuigiRAVV035703070118235Pecorari, Paolo <1943-2022>CFIV016517Luzzati, LuigiSBNV005903Luzzatti, LuigiITIT-00000019980123IT-BN0095 IT-NA0120 IT-NA0452 NAP ISISEM Sezione di storia economica dell'ex Istituto di storia economica del MezzogiornoNAP 01POZZO LIB.Vi sono collocati fondi di economia, periodici di ingegneria e scienze, periodici di economia e statistica e altri fondi comprendenti documenti di economia pervenuti in dono. RAV0305898Biblioteca Centralizzata di Ateneo1 v. 01POZZO LIB.ECON MON 6173 01AR 0700230985E VMA A4 1 v. (Precedente collocazione 23 EC 098 (AR)B 1998060320181129 01 CR ISDiffusione del credito e le banche popolari47254UNISANNIO