- 주문상품수량
- 개
- 예상적립금
P - 상품할인금
- 원
- 배송료
- 원
- 주문합계
- 원
네비게이션 실시간 인기 책
프로그래밍 언어론 (원리+유형)
- ALL B.TUCKER 외 저
- 도경구 외 역
- 생능출판사
- 2008년 02월 29일
-
정가30,000원
-
판매가30,000원 [0% 할인]
-
결제 혜택무이자
카드할인/포인트결제 안내
제휴카드
반디앤루니스 롯데카드 결제금액 최대 25% 청구할인 (1만원 이상 결제건에 한해 월 2회, 건당 최대 1만원 할인) 반디앤루니스 우리V카드 결제금액 10% 청구할인 포인트결제
OK캐쉬백 포인트 최소 10원부터 전액 사용 or 1% 적립 현대카드 M포인트 결제금액의 최대 10% 사용 가능 신한카드 포인트 결제금액의 최대 10% 사용 가능(일부카드) 하나(구.외환) 포인트 보유 한도 내에서 100% 사용 가능 씨티카드 포인트 결제금액의 최대 50% 사용 가능 할인카드
NH농협 TAKE5카드 20% 청구할인(Edu Pack) 채움 플래티늄 멀티카드 20% 청구할인 모바일 Tmoney 신한카드 10% 청구할인 신한카드 Shopping 10% 청구할인 NH농협 체크카드 10% 청구할인 NH20 해봄 신용카드 10% 청구할인 씨티 클리어 카드 7% 청구할인 NH20 해봄 체크카드 5% 청구할인 NH농협 LADY다솜카드 5% 청구할인 신한카드 큐브 5% 청구할인 신한카드 큐브 PLATINUM# 5% 청구할인 
무이자 안내
-
적립금900원 적립 [3%P]
추가 적립금 안내
[2천원 추가 적립]
총 주문금액 5만원 이상 구매 시 2,000원 추가 적립
도서(eBook포함)만 구매 시 적립 대상에서 제외업채배송상품 포함(기프트, 업체배송 등) 5만원[멤버십 추가 적립]
슈퍼루니 : 3% 추가 적립
골드루니 : 2% 추가 적립
실버루니 : 1% 추가 적립
단, 국내도서, eBook만 구매 시 적립 불가
-
배송료무료배송
-
출고예정일
출고예정일 안내
※ 출고예정일은 도서 재고상황에 따라 변동될 수 있습니다.
2025년 07월 04일(금)※ 출고예정일은 도서 재고상황에 따라 변동될 수 있습니다.
당일배송 가능지역 검색
“도로명주소”를 쉽게 찾아보세요
1. 도로명으로 검색하기 (예, “직지길” or “직지길+322”)
2. 건물명으로 검색하기 (예, “반디앤루니스빌딩”)
3. 동(읍/면/리) 으로 검색 (예, “인사동” or “인사동+43”)
4. 도로명주소를 모르실 경우 도로명주소 안내시스템(http://www.juso.go.kr)에서 확인해주세요.
시/도
시/군/구
회원리뷰
ISBN: 9788970506029
712쪽
188 x 257 (㎜)
지금 이책은
- 판매지수 : 246
이 분야의 베스트셀러
-
최신 디지털 공학 [제11판]
Thomas L. Floyd
39,000원
-
화학공학 열역학[8판]
J. M. Smith
37,000원
-
화학공정계산 [제4판]
Richard M. Felder,Ronald W. Rousseau, Lisa G. Bullard
37,000원
이 책과 함께 구매한 책
-
소법전 (2017) 편집부 31,500원
-
운영체제론 - IT COOKBOOK 101 하비 디텔 외 32,000원
-
열혈강의 정석용의 TCP/IP 소켓 프로그래밍 정석용 25,200원
-
지의편집공학-개정판 마쓰오카세이고 14,850원
-
프로그램 원리와 이해 김충석 13,500원
책 소개
출판사 리뷰
이와 같이 최근에 등장한 새로운 움직임에 발맞추기 위해서, 이 개정판은 현세대와 차세대 프로그래밍 언어 설계에 수반되는 새로운 도전에 부응하도록 기획되었다.
앞부분(2~11장)에서 다루는 언어 설계 원칙을 개정판에서는 대폭 확장하였다. (Python과 Perl과 같은) 현대 언어의 새로운 예를 통한 약식 설명을 추가하였다. (Pascal과 Modula와 같이) 더 이상 널리 사용되지 않는 재래식 언어는 제외하였다.
프로그래밍 언어의 구문구조, 이름, 타입, 의미구조, 함수에 대한 핵심 원리는 2, 4, 5, 7, 9장에서 각각 다룬다. 여기에서는 초판보다 더 넓고 깊은 언어와 예제를 선택하여 이 원리를 실전적으로 이해하도록 하였다.
구문구조, 타입시스템, 의미구조, 함수, 메모리관리의 구현 방식에 관심 있는 독자들을 위해서 3, 6, 8, 10, 11장을 동반해서 공부할 읽을거리로 추가하였다. 이 장들은 관련 핵심 원리를 더 세밀하게 이해하고 싶은 경우 선택적으로 읽어볼 수 있을 것이다. 예를 들어, 2장에서 구문구조의 원리를 공부한 다음, 3장에서 컴파일러의 어휘적, 구문적 단계를 공부하여 이해를 높일 수 있다. 프로그래밍 언어 입문 교과목에서는 이 장들의 일부 또는 전체를 빠트려도 큰 무리가 없다.
이 중에서 3장에는 수학적으로 좀 더 엄밀하게 다루는 절들을 옵션으로 포함시켰다. 이 절들은 이 문단의 앞에 표시된 것과 같이 그래픽 모양으로 옵션이라는 표시를 붙여놓았다. 부록 B에는 이 절들을 읽는 학생들이 바로 참조할 수 있게 이산수학의 주요 주제와 표기법을 요약해놓았다.
끝으로, 특별 주제를 다루는 16, 17, 18장에서는 이벤트 처리, 동시성, 프로그램 정확성의 연구에 대해서 자세히 소개한다. 초판에서는 이 중 두 가지(이벤트 처리와 동시성)만 소개하였고, 정확성에 대한 장을 개정판에 추가하였다.
전체적으로 이 새로운 개정판은 프로그래밍 언어의 원리, 패러다임, 특별주제를 넓고 깊게 포함하고 있다. 결과적으로 이 책은 총 18장이 되었다. 프로그래밍 언어 강좌에서 어떤 부분이 강조되어야 하는지 강사에 따라 견지가 다를 것이므로, 이 책은 다양한 옵션을 제공하고 있다.
저자 소개
Allen B. Tucker(Tucker, Allen B.)
도경구
1993년부터 1995년까지 일본 會津 대학 교수로 재직했으며, 현재 한양대학교 전자컴퓨터학부 컴퓨터공학전공 교수로 재직중이다.
목차
1장 소개
1.1 원리
1.2 패러다임
1.3 주요 개념
1.4 역사
1.5 언어의 설계에 대하여
1.6 컴파일러와 가상기계
1.7 복습
연습문제
2장 구문구조
2.1 문법
2.2 확장 BNF
2.3 소규모 언어 Clite의 구문구조
2.4 컴파일러와 실행기
2.5 구문구조와 의미구조 연결
2.6 요약
연습문제
3장 어휘 및 구문 분석
3.1 촘스키 분류
3.2 어휘 분석
3.3 구문 분석
3.4 요약
연습문제
4장 이름
4.1 구문 문제
4.2 변수
4.3 유효범위
4.4 기호표
4.5 주소의 도출
4.6 동적 유효범위
4.7 가시도
4.8 중복
4.9 수명
4.10 요약
연습문제
5장 타입
5.1 타입 오류
5.2 정적 및 동적 타입 결정
5.3 기본 타입
5.4 복합 타입
5.5 재귀적 데이터 타입
5.6 타입으로서의 함수
5.7 타입 동등성
5.8 하위 타입
5.9 다형성과 통칭
5.10 프로그래머가 정의한 타입
5.11 요약
연습문제
6장 타입 시스템
6.1 Clite를 위한 타입 시스템
6.2 자동 타입 변환
6.3 Clite 타입 시스템의 정형화
6.4 요약
연습문제
7장 의미구조
7.1 동기
7.2 계산식의 의미구조
7.3 프로그램 상태
7.4 저장문의 의미구조
7.5 제어 흐름 의미구조
7.6 입출력 의미구조
7.7 예외 처리의 의미구조
7.8 요약
연습문제
8장 의미의 해석
8.1 상태 전이와 부분 함수
8.2 Clite의 의미구조
8.3 동적으로 타입을 결정하는 언어의 의미구조
8.4 의미구조의 정형화
8.5 요약
연습문제
9장 함수
9.1 기본 용어
9.2 함수 호출과 복귀
9.3 매개변수
9.4 매개변수 전달 방법
9.5 활성 레코드
9.6 재귀 함수
9.7 실행시간 스택
9.8 요약
연습문제
10장 함수의 구현
10.1 Clite에서의 함수의 선언과 호출
10.2 Clite 타입 체계의 완성
10.3 함수 호출과 복귀의 의미구조
10.4 타입과 의미구조의 정형적인 표현
10.5 요약
연습문제
11장 메모리 관리
11.1 힙
11.2 동적 배열의 구현
11.3 메모리 수거
11.4 요약
연습문제
12장 명령중심 프로그래밍
12.1 명령중심 언어를 구성하는 것은 무엇인가?
12.2 프로시저 추상화
12.3 계산식과 저장문
12.4 자료 구조를 위한 라이브러리 지원
12.5 명령중심 프로그래밍과 C
12.6 명령중심 프로그래밍과 Ada
12.7 명령중심 프로그래밍과 Perl
12.8 요약
연습문제
13장 객체지향 프로그래밍
13.1 전주곡: 추상 데이터 타입
13.2 객체 모델
13.3 Smalltalk
13.4 Java
13.5 Python
13.6 요약
연습문제
14장 함수형 프로그래밍
14.1 함수와 람다 계산법
14.2 Scheme
14.3 HASKELL
14.4 요약
연습문제
15장 논리형 프로그래밍
15.1 논리와 혼 절
15.2 Prolog 논리형 프로그래밍
15.3 Prolog 예제
15.4 요약
연습문제
16장 이벤트 구동 프로그래밍
16.1 이벤트 구동 제어
16.2 이벤트 처리
16.3 세 가지 사례
16.4 기타 이벤트 구동 응용 프로그램
16.5 복습
연습문제
17장 동시 프로그래밍
17.1 동시성 개념
17.2 동기화 전략
17.3 Java에서의 동기화
17.4 프로세스 간 통신
17.5 다른 언어에서의 동시성
17.6 요약
연습문제
18장 프로그램의 정확성
18.1 공리 의미구조
18.2 정형기법 도구: JML
18.3 객체지향 프로그램의 정확성
18.4 함수형 프로그램의 정확성
18.5 요약
연습문제
부록A Clite정의
A.1 Clite의 어휘 및 실제 구문구조
A.2 Clite의 추상 구문구조
A.3 Clite의 타입체계
A.4 Clite의 의미구조
A.5 Clite에 함수 추가하기
부록B 이산 수학
B.1 집합과 관계
B.2 그래프
B.3 논리
B.4 추론 규칙과 직접 증명
B.5 귀납 증명
찾아보기
1.1 원리
1.2 패러다임
1.3 주요 개념
1.4 역사
1.5 언어의 설계에 대하여
1.6 컴파일러와 가상기계
1.7 복습
연습문제
2장 구문구조
2.1 문법
2.2 확장 BNF
2.3 소규모 언어 Clite의 구문구조
2.4 컴파일러와 실행기
2.5 구문구조와 의미구조 연결
2.6 요약
연습문제
3장 어휘 및 구문 분석
3.1 촘스키 분류
3.2 어휘 분석
3.3 구문 분석
3.4 요약
연습문제
4장 이름
4.1 구문 문제
4.2 변수
4.3 유효범위
4.4 기호표
4.5 주소의 도출
4.6 동적 유효범위
4.7 가시도
4.8 중복
4.9 수명
4.10 요약
연습문제
5장 타입
5.1 타입 오류
5.2 정적 및 동적 타입 결정
5.3 기본 타입
5.4 복합 타입
5.5 재귀적 데이터 타입
5.6 타입으로서의 함수
5.7 타입 동등성
5.8 하위 타입
5.9 다형성과 통칭
5.10 프로그래머가 정의한 타입
5.11 요약
연습문제
6장 타입 시스템
6.1 Clite를 위한 타입 시스템
6.2 자동 타입 변환
6.3 Clite 타입 시스템의 정형화
6.4 요약
연습문제
7장 의미구조
7.1 동기
7.2 계산식의 의미구조
7.3 프로그램 상태
7.4 저장문의 의미구조
7.5 제어 흐름 의미구조
7.6 입출력 의미구조
7.7 예외 처리의 의미구조
7.8 요약
연습문제
8장 의미의 해석
8.1 상태 전이와 부분 함수
8.2 Clite의 의미구조
8.3 동적으로 타입을 결정하는 언어의 의미구조
8.4 의미구조의 정형화
8.5 요약
연습문제
9장 함수
9.1 기본 용어
9.2 함수 호출과 복귀
9.3 매개변수
9.4 매개변수 전달 방법
9.5 활성 레코드
9.6 재귀 함수
9.7 실행시간 스택
9.8 요약
연습문제
10장 함수의 구현
10.1 Clite에서의 함수의 선언과 호출
10.2 Clite 타입 체계의 완성
10.3 함수 호출과 복귀의 의미구조
10.4 타입과 의미구조의 정형적인 표현
10.5 요약
연습문제
11장 메모리 관리
11.1 힙
11.2 동적 배열의 구현
11.3 메모리 수거
11.4 요약
연습문제
12장 명령중심 프로그래밍
12.1 명령중심 언어를 구성하는 것은 무엇인가?
12.2 프로시저 추상화
12.3 계산식과 저장문
12.4 자료 구조를 위한 라이브러리 지원
12.5 명령중심 프로그래밍과 C
12.6 명령중심 프로그래밍과 Ada
12.7 명령중심 프로그래밍과 Perl
12.8 요약
연습문제
13장 객체지향 프로그래밍
13.1 전주곡: 추상 데이터 타입
13.2 객체 모델
13.3 Smalltalk
13.4 Java
13.5 Python
13.6 요약
연습문제
14장 함수형 프로그래밍
14.1 함수와 람다 계산법
14.2 Scheme
14.3 HASKELL
14.4 요약
연습문제
15장 논리형 프로그래밍
15.1 논리와 혼 절
15.2 Prolog 논리형 프로그래밍
15.3 Prolog 예제
15.4 요약
연습문제
16장 이벤트 구동 프로그래밍
16.1 이벤트 구동 제어
16.2 이벤트 처리
16.3 세 가지 사례
16.4 기타 이벤트 구동 응용 프로그램
16.5 복습
연습문제
17장 동시 프로그래밍
17.1 동시성 개념
17.2 동기화 전략
17.3 Java에서의 동기화
17.4 프로세스 간 통신
17.5 다른 언어에서의 동시성
17.6 요약
연습문제
18장 프로그램의 정확성
18.1 공리 의미구조
18.2 정형기법 도구: JML
18.3 객체지향 프로그램의 정확성
18.4 함수형 프로그램의 정확성
18.5 요약
연습문제
부록A Clite정의
A.1 Clite의 어휘 및 실제 구문구조
A.2 Clite의 추상 구문구조
A.3 Clite의 타입체계
A.4 Clite의 의미구조
A.5 Clite에 함수 추가하기
부록B 이산 수학
B.1 집합과 관계
B.2 그래프
B.3 논리
B.4 추론 규칙과 직접 증명
B.5 귀납 증명
찾아보기
배송 시 유의사항
- 반디앤루니스에서 구매하신 도서는 물류 대행 위탁업체 웅진 북센을 통해 배송됩니다.
(배송 포장에 "웅진 북센"으로 표기될 수 있습니다.)
- 구매한 상품의 품질과 배송 관련 문의는 반디앤루니스로 문의 바랍니다.
- 천재지변 및 택배사의 사정에 따라 배송이 지연될 수 있습니다.
- 결제(입금) 완료 후 출판사 및 유통사의 사정으로 품절 또는 절판 되어 상품 구입이 어려울 수 있습니다. (별도 안내 예정)
- 도서산간지역의 경우 추가 배송비가 발생될 수 있습니다.
반품/교환
상품 설명에 반품/ 교환 관련한 안내가 있는 경우 그 내용을 우선으로 합니다. (업체 사정에 따라 달라질 수 있습니다)
반품/교환
-
반품/교환 반품/교환 방법 홈 > 고객센터 > 자주찾는질문 “반품/교환/환불” 안내 참고 또는 1:1상담게시판 반품/교환 가능 기간 반품,교환은 배송완료 후 7일 이내, 상품의 결함 및 계약내용과 다를 경우 문제발견 후 30일 이내에 신청가능 반품/교환 비용 변심 혹은 구매착오의 경우에만 반송료 고객 부담(별도 지정 택배사 없음) 반품/교환 불가 사유 - 소비자의 책임 사유로 상품 등이 손실 또는 훼손된 경우
- 소비자의 사용, 포장 개봉에 의해 상품 등의 가치가 현저히 감소한 경우
- 복제가 가능한 상품 등의 포장을 훼손한 경우 : 예)만화책, 잡지, 화보집 등
- 시간의 경과에 의해 재판매가 곤란한 정도로 가치가 현저히 감소한 경우
- 전자상거래등에서의 소비자보호에 관한 법률이 정하는 소비자 청약철회 제한 내용에 해당되는 경우
- 해외주문 상품(해외 원서)의 경우(파본/훼손/오발송 상품을 제외)
소비자 피해보상
환불지연에 따른 배상- 상품의 불량에 의한 반품, 교환, A/S, 환불, 품질보증 및 피해보상 등에 관한 사항은
소비자 분쟁해결 기준(공정거래위원회고시)에 준하여 처리됨 - 대금 환불 및 환불지연에 따른 배상금 지급 조건, 절차 등은 전자상거래 등에서의
소비자 보호에 관한 법률에 따라 처리함
반품/교환 주소 경기도 파주시 문발로 77, 웅진북센(반디앤루니스)
