Refinement Calculus A Systematic Introduction

₩215,390
+ ₩50,349 배송

Refinement Calculus A Systematic Introduction

판매자::
  • product image

₩215,390

재고 있음
+ ₩50,349 배송

14일 반품 정책

결제 방법:

제품 상세 정보

제품 상세 정보

Refinement Calculus A Systematic Introduction

Much Current Research In Computer Science Is Concerned With Two Questions: Is A Program Correct? And How Can We Improve A Correct Program Preserving Correctness? This Latter Question Is Known As The Refinement Of Programs And The Purpose Of This Book Is To Consider These Questions In A Formal Setting.
  • 브랜드: Springer Nature B.V
  • 카테고리: Computing & Internet
  • 출판사/레이블: Springer Nature B.V
  • 페이지 수: 540
  • 형식: Paperback
  • 언어: English
  • 출판일: 1998-05-01
  • 저자: Ralph-Johan Back
  • Fruugo ID: 550927569-1115605988
  • ISBN: 9780387984179
배송

배달

24시간 이내에 발송됨

  • STANDARD: ₩50,349 - 배달 사이 화 03 11월 2026–화 01 12월 2026

영국에서 발송.

반품

보고

당사는 귀하께서 주문하신 제품이 주문 명세에 따라 빠짐없이 배송되도록 온 힘을 기울이고 있습니다. 다만, 주문하신 것과 다른 상품이 배송되거나 빠진 상품이 있는 경우, 또는 주문 내용에 만족할 수 없는 다른 이유가 있는 경우에는 주문 전체나 주문에 포함된 일부 제품을 반품하시고 해당 상품에 대해 전액 환불받으실 수 있습니다.

전체 반품 정책 보기