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

Computer-Aided Verification '90 (Hardcover)

(Proceedings of a Dimacs Workshop June 18-21, 1990)

E. M. Clarke, Dimacs Workshop on Computer-Aided Verification (지은이), R. P. Kurshan (엮은이)

Amer Mathematical Society

248,400원

일반도서

검색중

서점	할인가	할인률	배송비	혜택/추가	실질최저가	구매하기
	223,560원	-10%	0원	6,710원	216,850원	>

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

중고도서

검색중

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

eBook

검색중

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

책 이미지

eBook 미리보기

책 정보

· 제목 : Computer-Aided Verification '90 (Hardcover) (Proceedings of a Dimacs Workshop June 18-21, 1990)
· 분류 : 외국도서 > 기술공학 > 기술공학 > 일반
· ISBN : 9780821865941
· 쪽수 : 628쪽
· 출판일 : 1991-09-01

저자소개

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

펼치기

E. M. Clarke의 다른 책 >

Dimacs Workshop on Computer-Aided Verification (지은이) 정보 더보기

펼치기

R. P. Kurshan (엮은이) 정보 더보기

펼치기