본문내용 바로가기

KYOBO 교보문고

교보문고 홈

메뉴 전체보기

서비스 전체보기
[고정]e캐시 더드림 이벤트
명강의빅텐이슬아
교보문고40주년
  • 교보아트스페이스
  • 2020 손글쓰기캠페인
  • 교보인문학석강
  • 교보 손글씨 2019

중고장터

Fundamental Proof Methods in Computer Science
크게보기
976쪽 | 533.40 * 601.98 * 96.52 (cm)
ISBN-10 : 0262035537
ISBN-13 : 9780262035538
Fundamental Proof Methods in Computer Science 중고
저자 Konstantine Arkoudas | 출판사 The MIT Press
정가
53,000원
판매가
47,700원 [10%↓, 5,300원 할인]
배송비
4,000원 (판매자 직접배송)
100,000원 이상 결제 시 무료배송
 제주도 추가배송비 : 3,000원
도서산간지역 추가배송비 : 5,000원
배송일정
지금 주문하면 3일 이내 출고 예정
2017년 9월 1일 출간
제품상태
상태 최상 외형 최상 내형 최상
이 상품 최저가
47,700원 다른가격더보기
  • 47,700원 우주책방 특급셀러 상태 최상 외형 최상 내형 최상
  • 47,700원 종이밥책벌레 우수셀러 상태 최상 외형 최상 내형 최상
새 상품
53,000원 [0%↓, 0원 할인] 새상품 바로가기
수량추가 수량빼기
장바구니에 담기 바로 구매하기 스마트비교에 담기

중고장터에 등록된 판매상품과 제품의 상태는 개별 판매자들이 등록, 판매하는 것으로 중개시스템만을 제공하는 교보문고는 해당 상품과 내용에 대해 일체 책임을 지지 않습니다. 상단 제품상태와 하단 상품 상세를 꼭 확인하신 후 구입해주시기 바랍니다.

교보문고 결제 시스템을 이용하지 않은 직거래로 인한 피해 발생 시 교보문고는 일체 책임을 지지 않습니다.

중고장터에 등록된 판매 상품과 제품의 상태는 개별 오픈마켓 판매자들이 등록, 판매하는 것으로 중개 시스템만을 제공하는
인터넷 교보문고에서는 해당 상품과 내용에 대해 일체 책임을 지지 않습니다.

교보문고 결제시스템을 이용하지 않은 직거래로 인한 피해 발생시, 교보문고는 일체의 책임을 지지 않습니다.

중고책 추천 (판매자 다른 상품)

더보기

판매자 상품 소개

※ 해당 상품은 교보문고에서 제공하는 정보를 활용하여 안내하는 상품으로제품 상태를 반드시 확인하신 후 구입하여주시기 바랍니다.

판매자 배송 정책

  • 토/일, 공휴일을 제외한 영업일 기준으로 배송이 진행됩니다.

더보기

구매후기 목록
NO 구매후기 구매만족도 ID 등록일
9 배송이 아주 많이 느려요 5점 만점에 4점 135*** 2020.01.12
8 1주일만에 받았는데 올려놓은 도서하고 다른 도서를 보내주셨습니다. International Edition으로 보내주셨습니다. 반품 신청합니다. 5점 만점에 1점 hg*** 2019.12.30
7 잘받았습니다 감사합니다 5점 만점에 4점 ikm00*** 2019.12.06
6 좋은 책 감사합니다. 5점 만점에 4점 sig*** 2019.08.29
5 빠른배송 매우 만족합니다. 5점 만점에 5점 dldu*** 2019.07.10

이 책의 시리즈

책 소개

상품구성 목록
상품구성 목록

* 현재 상품정보를 준비중 에 있습니다.

저자소개

목차

｜INTRODUCTION
1 An Overview of Fundamental Proof Methods
2 Introduction to Athena

∥FUNDAMENTAL PROOF METHODS
3 Proving Equalities
4 Sentential Ligic
5 First-Order Logic
6 Implication Changing

ⅢPROOFS ABOUT FUNDAMENTAL DATATYPES
7 Organizing Theory Development With Athena Modules
8 Natural Number Orderings
9 Integer Representations and Proof Mappings
10 Fundamental Discrete Structures

ⅣPROOF ABOUT ALGORITHMS
11 A Binary Search Algorithm
12 A Fast Exponentiation Algorithm
13 Euclid's Algorithm for Greatest Common Division

ⅤPROOFS AT AN ABSTRACT LEVEL
14 Abstract Stuctures
15 Abstract Algorithms
16 Algorithms on Memory Abstractons

ⅥPROOFS ABOUT PROGRAMMING LANGUAGES
17 A Correctness Proof for a Toy Compiler
18 A Simple Imperative Programming Language
A Athena Reference
B Logic Programming and Prolog

책 속으로

출판사 서평

책 속 한 문장

회원리뷰

이 책과 함께 구매한 책들

교환/반품안내

※ 상품 설명에 반품/교환 관련한 안내가 있는 경우 그 내용을 우선으로 합니다. (업체 사정에 따라 달라질 수 있습니다.)

교환/반품안내
반품/교환방법

[판매자 페이지>취소/반품관리>반품요청] 접수
또는 [1:1상담>반품/교환/환불], 고객센터 (1544-1900)

※ 중고도서의 경우 재고가 한정되어 있으므로 교환이 불가할 수 있으며, 해당 상품의 경우 상품에 대한 책임은 판매자에게 있으며 교환/반품 접수 전에 반드시 판매자와 사전 협의를 하여주시기 바랍니다.
반품/교환가능 기간

변심반품의 경우 수령 후 7일 이내, 상품의 결함 및 계약내용과 다를 경우 문제점 발견 후 30일 이내

※ 중고도서의 경우 판매자와 사전의 협의하여주신 후 교환/반품 접수가 가능합니다.
반품/교환비용 변심 혹은 구매착오로 인한 반품/교환은 반송료 고객 부담
반품/교환 불가 사유

소비자의 책임 있는 사유로 상품 등이 손실 또는 훼손된 경우(단지 확인을 위한 포장 훼손은 제외)

소비자의 사용, 포장 개봉에 의해 상품 등의 가치가 현저히 감소한 경우 예) 화장품, 식품, 가전제품 등

복제가 가능한 상품 등의 포장을 훼손한 경우 예) 음반/DVD/비디오, 소프트웨어, 만화책, 잡지, 영상 화보집

소비자의 요청에 따라 개별적으로 주문 제작되는 상품의 경우 ((1)해외주문도서)

디지털 컨텐츠인 eBook, 오디오북 등을 1회 이상 다운로드를 받았을 경우

시간의 경과에 의해 재판매가 곤란한 정도로 가치가 현저히 감소한 경우

전자상거래 등에서의 소비자보호에 관한 법률이 정하는 소비자 청약철회 제한 내용에 해당되는 경우

1) 해외주문도서 : 이용자의 요청에 의한 개인주문상품이므로 단순 변심 및 착오로 인한 취소/교환/반품 시 해외주문 반품/취소 수수료 고객 부담 (해외주문 반품/취소 수수료는 판매정가의 20%를 적용

2) 중고도서 : 반품/교환접수없이 반송하거나 우편으로 접수되어 상품 확인이 어려운 경우
소비자 피해보상
환불지연에 따른 배상

- 상품의 불량에 의한 교환, A/S, 환불, 품질보증 및 피해보상 등에 관한 사항은 소비자분쟁해결 기준 (공정거래위원회 고시)에 준하여 처리됨

- 대금 환불 및 환불지연에 따른 배상금 지급 조건, 절차 등은 전자상거래 등에서의 소비자 보호에 관한 법률에 따라 처리함
판매자
종이밥책벌레
판매등급
우수셀러
판매자구분
일반
구매만족도
5점 만점에 5점
평균 출고일 안내
3일 이내
품절 통보율 안내
84%
판매자 전체 후기
판매자 홈 가기 문의하기
이상품 나도팔기

바로가기

TOP
DOWN
최근 본 상품 10 열기

최근 본 상품

닫기