기능목록>검색 : 국방대학교 도서관

EQUATIONAL LOGIC AS A PROGRAMMING LANGUAGE

QR코드

미리보기 도서정보

도서 상세정보
자료유형 :	단행본
분류기호 :	QA76.7
서명/저자사항 :	EQUATIONAL LOGIC AS A PROGRAMMING LANGUAGE/ O'DONNELL,MICHAEL J
발행사항 :	MASSACHUSETTS: MIT PR., 1985.
형태사항 :	296p.
개인저자 :	O'DONNELL,MICHAEL J
언어	영어

소장정보

국방대학교 도서관

예예약
인인쇄
SSMS
서서가부재
보보존서고
우우선정리예약
무무인예약대출

예약

1. 예약현황은 홈페이지 로그인 후 예약 페이지에 확인 가능합니다.
2. 도착 통보된 예약자료 대출을 원하지 않는 경우에는 예약 현황에서 취소할 수 있습니다.
3. 기타 문의사항은 도서관에 문의 바랍니다.

닫기

무인예약대출

1. 무인예약대출 현황은 홈페이지 로그인 후 무인예약대출 페이지에 확인 가능합니다.
2. 무인예약대출자료 대출을 원하지 않는 경우에는 무인예약대출 페이지에서 신청 또는 접수상태인 경우만 취소할 수 있습니다.
3. 희망대출일은 신청일로부터 최대 1주일 까지 가능합니다.
4. 희망대출일을 선택하지 않은 경우 대출대기 통보 후 1주일까지 기기에서 대출가능합니다.
5. 기타 문의사항은 도서관에 문의 바랍니다.

닫기

WMO199920455 권 호 : 296
발행년 : 1985
서 명 : EQUATIONAL LOGIC AS A PROGRAMMING LANGUAGE
발행처 : O''DONNELL,MICHAEL J

목차
1. USING THE EQUATION INTERPRETER
2. PRESENTING EQUATIONS TO THE EQUATION INTERPRETER
3. THE SYNTAX OF TERMS
4. RESTRICTIONS ON EQUATIONS
5. PREDEFINED CLASSES OF SYMBOLS
6. PREDEFINED CLASSES OF EQUATIONS
7. SYNTACTIC QUALIFICATIONS ON VARIABLES
8. MISCELLANEOUS EXAMPLES
9. ERRORS,FAILURES, AND DIABNOSTIC AIDS
10. HISTORY OF THE EQUATION INTERPRETER PROJECT
11. LOW-LEVEL PROGRAMMING TECHNIQUES
12. MODULAR CONSTRUCTION OF EQUATIONAL DEFINITIONS
13. HIGH-LEVEL PROGRAMMING TECHNIQUES
14. IMPLEMENTING EFFICIENT DATA STRUCTURES IN EQUATIONAL PROGRAMS
15. SEQUENTIAL ANDPARALLEL EQUATIONAL COMPUTATIONS
16. ...