01603nam2-2200457li-450 99000020328020331620180312154756.03-540-56596-50020328USA010020328(ALEPH)000020328USA01002032820001109d1993----km-y0itay0103----baengNESemanticsfoundations and applicationsJ. W. de Bakker, W. P. de Roever, G. Rozenberg (eds.)Berlin [etc.]Springer-Verlagcopyr. 1993VIII, 659 p.ill.24 cmLecture notes in computer science666contiene gli atti di un congresso tenuto a beekbergen dall'1 al 4 giugno 1992.00100202642001Lecture notes in computer sciencecongressibeekbergen1992elaboratori elettroniciprogrammazionecongressi1992logica matematicacongressi1992005131Logica matematica (Logica simbolica)Bakker,J. W. deRoever,W. P. deRozenberg,GrzegorzSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000203280203316001 LNCS 666001492000100102916BKSCI1993061420001110USA011714ALANDI9020010129USA011332PATTY9020010321USA01132920020403USA011628PATRY9020040406USA011615Semantics140595UNISA