본문내용 바로가기

KYOBO 교보문고

교보문고 홈

메뉴 전체보기

서비스 전체보기
책들고여행
2020다이어리
  • 교보아트스페이스
  • 제5회 교보손글쓰기대회 수상작 전시

중고장터

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원 할인]
배송비
3,000원 (판매자 직접배송)
100,000원 이상 결제 시 무료배송
 지금 주문하시면 2일 이내 출고 가능합니다.
토/일, 공휴일을 제외한 영업일 기준으로 배송이 진행됩니다.
2017년 9월 1일 출간
제품상태
상태 최상 외형 최상 내형 최상
이 상품 최저가
47,700원 다른가격더보기
  • 47,700원 우주책방 특급셀러 상태 최상 외형 최상 내형 최상
  • 47,700원 종이밥책벌레 우수셀러 상태 최상 외형 최상 내형 최상
새 상품
53,000원 [0%↓, 0원 할인] 새상품 바로가기
수량추가 수량빼기
장바구니에 담기 바로 구매하기 스마트비교에 담기
안내 :

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

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

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

더보기

판매자 상품 소개

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

판매자 배송 정책

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

더보기

구매후기 목록
NO 구매후기 구매만족도 ID 등록일
7 잘받았습니다 감사합니다 5점 만점에 4점 ikm00*** 2019.12.06
6 좋은 책 감사합니다. 5점 만점에 4점 sig*** 2019.08.29
5 빠른배송 매우 만족합니다. 5점 만점에 5점 dldu*** 2019.07.10
4 책 상태도 좋고 배송도 생각보다 일찍 도착했어요. 5점 만점에 5점 requiem*** 2019.06.27
3 주문 담날 도착했어요..포장 깨끗했고..상품도 새책이네요...수고하세요.. 5점 만점에 5점 yhj0*** 2018.10.14

이 책의 시리즈

책 소개

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

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

저자소개

목차

｜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일 이내
품절 통보율 안내
44%
판매자 전체 후기
단골판매자 등록 문의하기
이상품 나도팔기

바로가기

TOP
DOWN
최근 본 상품 10 열기

최근 본 상품

닫기