00929nam a2200253 k 4500001001500000005001500015008004100030040001900071041001800090049001700108052001800125056001400143082001500157100004800172245009500220260004200315300001700357500009000374502007300464653008000537950002100617963001700638965002000655KDM198926904  20190115174043900731s1989    ulk        CB 000   eng    a011001c0110010 aengbengbkor0 lWM126771fDP02a001.61bK496s  a028.61230 a001.612191 a김명회,g金明會,d1980-0KAC20185898311a(A)stream processing approach to dynamic analysis of structured specifications/d김명호  a서울:b한국과학기술원,c1989  a85장;c26cm  a한글서명 : 스트림 처리 방식을 이용한 구조적 명세의 동적 분석1 a학위논문(박사) --b한국과학기술원:c전산학과,d1989  aSTREAMaPROCESSINGaAPPROACHaDYNAMICaANALYSISaSTRUCTUREDaSPECIFICATIONS1 a비매품b\3600  a전산학과  a시스템분석