01198nam0-22004211i-450 99000375909040332120180118113540.0000375909FED01000375909(Aleph)000375909FED0100037590920030910d1974----km-y0itay50------baitaITy-------001yyReligione, Chiesa e Strutture socialistudi e ricerche di sociologia religiosaMaria I. MaciotiNapoliLiguori©1974252 p.21 cmContributi di sociologia16Religione <sociologia>Italia306.60945306.6Macioti,Maria Immacolata105232ITUNINARICAUNIMARCBK990003759090403321306.60945 MAC 1299BFSIII NN 331077DCEC306.6 MAC 1ST.REL. 949FLFBC13510 MAC6687/ISESXI N 325 (16)25831*FGBCBFSFLFBCDCECSESFGBCReligione, Chiesa e Strutture sociali508855UNINA01553nam--2200397---450-9900003386002033163-540-67282-60033860USA010033860(ALEPH)000033860USA01003386020010208d2000----km-y0itay0103----baengDE||||||||001yyTools and algorithms for the construction and analysis of systems6th international conference, TACAS 2000held as part of the Joint European conferences on theory and practice of software, ETAPS 2000Berlin, Germany, March 25 - April 2, 2000proceedingsSusanne Graf ...<et al.> (eds.)BerlinSpringer-Verlagc2000XIV, 552 p.ill.25 cmLecture notes in computer science17852001Lecture notes in computer science1785001-------2001Progettazione dei sistemiCongressi2000SoftwareSviluppoCongressi2000CongressiBerlino2000GRAF,SusanneInternational conference, TACAS 2000 <6.; 2000; Berlin>542951ITsalbcISBD990000338600203316001 LNCS (1785)CBS 0025045001 LNCS00100094BKSCIPATTY9020010208USA01144620020403USA011641PATRY9020040406USA011624Tools and algorithms for the construction and analysis of systems877949UNISA