(NmATEMATI^ESKOE OBESPE^ENIE AWTOMATI^ESKOGO PROEKTIROWANIQ (B:s (NsISTEMA AWTOMATI^ESKOGO PROEKTIROWANIQ KOMBINACIONNYH SHEM (B/s - (N~ISTOW(B, (Nw(B.(Np(B.s ((NsWERDLOWSK (B:s (Nb(B. (NI(B.,s, 1976)
Keywords: (NpROGRAMMIROWANIEs