학위논문(박사) - 한국과학기술원 : 전산학부, 2021.8,[iv, 148 p. :]
real number computation▼acontinuous abstract data type▼acomputable analysis▼aimperative programming▼aformal verification; 실수 계산▼a연속적 추상형 자료형▼a계산 해석학▼a명령형 언어▼a프로그램 검증
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.