01567nam2-2200421li-450 99000021101020331620180312154631.03-540-60117-10021101USA010021101(ALEPH)000021101USA01002110120001109d1995----km-y0itay0103----baengGWMathematics of program constructionthird International conference, MPC '95Kloster Irsee, Germany, July 17-21, 1995proceedingsBernhard Möller (ed.)Berlin [etc.]Springer-Verlagcopyr. 1995VIII, 472 p.ill.25 cmLecture notes in computer science94700100202642001Lecture notes in computer sciencecongressikloster1995elaboratori elettroniciprogrammazionecongressi1995logica matematicacongressi19950051Programmazione. Tecnica di sviluppo dei programmiMoller,BernhardInternational conference MPC'953.Kloster Irsee1995745732Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000211010203316001 LNCS (947)001870000100103715BKSCI1996040520001110USA011714ALANDI9020010131USA01131620020403USA011629PATRY9020040406USA011615Mathematics of program construction1487593UNISA01157nam0-2200349---450 99000075334020331620220912092919.088-8114-471-90075334USA010075334(ALEPH)000075334USA01007533419980130d1997----y0itay0103 baitaIT00|||Dal Risorgimento all'Italia liberaleGian Biagio FuriozziNapoliEdizioni scientifiche italiane[1997]258 p.24 cmStudi e ricerche dell'Istituto di storia della Facoltàdi scienze della formazione dell'Universitàdi Perugia14Scritti già pubblicati2001Studi e ricerche dell'Istituto di storia della Facoltà di scienze della formazione dell'Università di Perugia14ItaliaPolitica945.08FURIOZZI,Gian Biagio176479ITBNI19980130RICA990000753340203316X 18 XVI 1414774 GX 18BKGIUDal Risorgimento all'Italia liberale64182UNISA