책 이미지
eBook 미리보기
책 정보
· 제목 : Vlisp a Verified Implementation of Scheme: A Special Issue of LISP and Symbolic Computation, an International Journal Vol. 8, Nos. 1 & 2 March 1995 (Hardcover, Al Journal 8:1-)
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9780792395669
· 쪽수 : 184쪽
· 출판일 : 1995-05-31
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9780792395669
· 쪽수 : 184쪽
· 출판일 : 1995-05-31
목차
VLISP: A Verified Implementation of Scheme.- The VLISP Verified Scheme System.- The VLISP Verified PreScheme Compiler.
