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

Theory and Applications of Satisfiability Testing - SAT 2018 : 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference (Paperback)

Olaf Beyersdorff, Wintersteiger Christoph M. Wintersteiger (엮은이)

Springer Nature B.V.

69,980원

일반도서

검색중

서점	할인가	할인률	배송비	혜택/추가	실질최저가	구매하기
	66,480원	-5%	0원	2,000원	64,480원	>

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

중고도서

검색중

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

eBook

검색중

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

책 이미지

Theory and Applications of Satisfiability Testing - SAT 2018 : 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference

eBook 미리보기

책 정보

· 제목 : Theory and Applications of Satisfiability Testing - SAT 2018 : 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference (Paperback)
· 분류 : 외국도서 > 컴퓨터 > 컴퓨터 공학
· ISBN : 9783319941455
· 쪽수 : 474쪽
· 출판일 : 2018-06-28

저자소개

Olaf Beyersdorff (엮은이) 정보 더보기

펼치기

Wintersteiger Christoph M. Wintersteiger (엮은이) 정보 더보기

펼치기