BOOKPRICE.co.kr
책, 도서 가격비교 사이트

인기 검색어

일간

|

주간

|

월간

실시간 검색어

검색가능 서점

알라딘

교보문고

yes24

영풍문고

G마켓

11번가

도서목록 제공

알라딘, 영풍문고, 교보문고

app 다운로드

GooglePlay 다운로드

AppStore 다운로드

QR CODE

Model Checking (Hardcover)

E. M. Clarke, Orna Grumberg, Doron Peled (지은이)

Mit Pr

130,310원

일반도서

검색중

서점	할인가	할인률	배송비	혜택/추가	실질최저가	구매하기
	106,850원	-18%	0원	5,350원	101,500원	>

notice_icon

검색 결과 내에 다른 책이 포함되어 있을 수 있습니다.

중고도서

검색중

서점	유형	등록개수	최저가	구매하기

eBook

검색중

서점	정가	할인가	마일리지	실질최저가	구매하기

책 이미지

Model Checking

eBook 미리보기

책 정보

· 제목 : Model Checking (Hardcover)
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 시스템 분석/설계
· ISBN : 9780262032704
· 쪽수 : 330쪽
· 출판일 : 1999-12-20

저자소개

E. M. Clarke (지은이) 정보 더보기

펼치기

E. M. Clarke의 다른 책 >

Orna Grumberg (엮은이) 정보 더보기

펼치기

Orna Grumberg의 다른 책 >

Doron Peled (지은이) 정보 더보기

펼치기

추천도서

분야의 베스트셀러 >

이 포스팅은 쿠팡 파트너스 활동의 일환으로,

이에 따른 일정액의 수수료를 제공받습니다.

이 포스팅은 제휴마케팅이 포함된 광고로 커미션을 지급 받습니다.

도서 DB 제공 : 알라딘 서점(www.aladin.co.kr)

최근 본 책