01534nam2-2200433li-450 99000020460020331620180312154818.03-540-58277-00020460USA010020460(ALEPH)000020460USA01002046020001109d1994----km-y0itay0103----baengGWComputer science logic7th workshop CSL'93Swansea, United Kingdom, September 13-17, 1993Egon Börger (ed.)Berlin [etc.]Springer-Verlagcopyr. 1994VIII, 336 p.ill.24 cmLecture notes in computer science83200100202642001Lecture notes in computer sciencecongressiswansea1993elaboratori elettroniciprogrammazionecongressi1993logica matematicacongressi19930051Programmazione. Tecnica di sviluppo dei programmiBÖRGER,EgonWorkshop CSL'937.Swansea1993753728Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000204600203316001 LNCS (832)001637000100103144BKSCI1995021220001110USA011714ALANDI9020010130USA01145320020403USA011628PATRY9020040406USA011615PATRY9020061003USA011548Computer science logic1516272UNISA