01333nam2-2200409li-450 99000020268020331620180312154838.03-540-54060-10020268USA010020268(ALEPH)000020268USA01002026820001109d1991----km-y0itay0103----baengGWAlgebraic system specification anddevelopmentM. Bidoit (ed.)Berlin [etc.]Springer-Verlagcopyr. 1991VIII, 98 p.ill.25 cmLecture notes in computer science50100100202642001Lecture notes in computer sciencelogica matematicamodelli matematicisoftwareprogettazione005131Logica matematica (Logica simbolica)Bidoit,MichelSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000202680203316001 LNCS (501)001402200100102633BKSCI1993030420001110USA011714ALANDI9020010126USA01101620020403USA011628PATRY9020040406USA011615Algebraic system specification anddevelopment1501922UNISA