01493nam2-2200409li-450 99000020696020331620180312154713.03-540-61937-20020696USA010020696(ALEPH)000020696USA01002069620001109d1996----km-y0itay0103----baengGWFormal methods in computer-aided design1st International conference, FMCAD '96Palo Alto, CA, USA, November 6-8, 1996proceedingsMandayam Srivas ... [et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1996IX, 470 p.ill.23 cmLecture notes in computer science116600100202642001Lecture notes in computer sciencecongressipalo -alto1996progettazione assistita da elaboratorecongressi19966200042028.Srivas,MandayamInternational conference FMCAD'961.Palo Alto1996746779Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000206960203316001 LNCS (1166)001977300100103941BKSCI1997070620001110USA011714ALANDI9020010201USA01160820020403USA011628PATRY9020040406USA011615Formal methods in computer-aided design1490936UNISA