(NmETODY I ALGORITMY AWTOMATIZACII PROEKTIROWANIQ bis (B:s (NsBORNIK NAU^NYH TRUDOW (B/s - (NmOSKOWSKIJ IN(B-(NT \LEKTRONNOJ TEHNIKIs ((NmOSKWA (B:s (NiZD(B-(NWO mOSKOWSKOGO IN(B-(NTA \LEKTRON(B. (NTEHNIKI(B,s, 1985)
Keywords: (NaWTOMATIZIROWANNYE SISTEMY PROEKTIROWANIQ (B- (NmATEMATI^ESKOE OBESPE^ENIEs; (NmIKRO\LEKTRONNYE SHEMY INTEGRALXNYE BOLX[IE (B- (NpROEKTIROWANIE (B- (NaWTOMATIZACIQs