logo
logo
x
바코드검색
BOOKPRICE.co.kr
책, 도서 가격비교 사이트
바코드검색

인기 검색어

실시간 검색어

검색가능 서점

알라딘
교보문고
yes24
영풍문고
쿠팡
G마켓
11번가

도서목록 제공

Mechanizing Proof: Computing, Risk, and Trust

Mechanizing Proof: Computing, Risk, and Trust (Paperback)

(Computing, Risk, and Trust)

Donald A. MacKenzie (지은이)
Mit Pr
74,000원

일반도서

검색중
서점 할인가 할인률 배송비 혜택/추가 실질최저가 구매하기
알라딘 로딩중
yes24 로딩중
교보문고 로딩중
notice_icon 검색 결과 내에 다른 책이 포함되어 있을 수 있습니다.

중고도서

검색중
서점 유형 등록개수 최저가 구매하기
로딩중

eBook

검색중
서점 정가 할인가 마일리지 실질최저가 구매하기
로딩중
책 정보
책 소개
목차
저자소개
리뷰
책속에서
추천도서

책 이미지

Mechanizing Proof: Computing, Risk, and Trust
eBook 미리보기

책 정보

· 제목 : Mechanizing Proof: Computing, Risk, and Trust (Paperback) (Computing, Risk, and Trust)
· 분류 : 외국도서 > 컴퓨터 > 컴퓨터 공학
· ISBN : 9780262632959
· 쪽수 : 440쪽
· 출판일 : 2004-01-30

저자소개

Donald A. MacKenzie (지은이)    정보 더보기
펼치기

추천도서

분야의 베스트셀러 >
The Legend of Zelda: Breath of the Wild - Creating a Champion: 젤다의 전설 - 브레스 오브 와일드: 챔피언 만들기 (Hardcover) - 젤다의 전설 브레스 오브 와일드 챔피언 만들기
The Legend of Zelda: Breath of the Wild - Creating a Champion: 젤다의 전설 - 브레스 오브 와일드: 챔피언 만들기 (Hardcover) - 젤다의 전설 브레스 오브 와일드 챔피언 만들기
Nintendo
Ghost In The Wires (Paperback) - My Adventures as the Worlds Most Wanted Hacker
Ghost In The Wires (Paperback) - My Adventures as the Worlds Most Wanted Hacker
케빈 미트닉, 윌리엄 사이먼, Mitnick, Kevin D
Atlas of AI: Power, Politics, and the Planetary Costs of Artificial Intelligence (Paperback)
Atlas of AI: Power, Politics, and the Planetary Costs of Artificial Intelligence (Paperback)
케이트 크로퍼드
How We Learn : The New Science of Education and the Brain (Paperback) - 『우리의 뇌는 어떻게 배우는가』원서
How We Learn : The New Science of Education and the Brain (Paperback) - 『우리의 뇌는 어떻게 배우는가』원서
스타니슬라스 드앤
The Age of AI : And Our Human Future (Paperback) - 『AI 이후의 세계』원서
The Age of AI : And Our Human Future (Paperback) - 『AI 이후의 세계』원서
에릭 슈밋, Henry A Kissinger, 대니얼 허튼로커
이 포스팅은 쿠팡 파트너스 활동의 일환으로,
이에 따른 일정액의 수수료를 제공받습니다.
이 포스팅은 제휴마케팅이 포함된 광고로 커미션을 지급 받습니다.
도서 DB 제공 : 알라딘 서점(www.aladin.co.kr)
최근 본 책