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

Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Paperback)

Pasareanu Corina S. Pasareanu, Kroening Daniel Kroening (엮은이)

Springer Nature B.V.

74,480원

일반도서

검색중

서점	할인가	할인률	배송비	혜택/추가	실질최저가	구매하기
	70,750원	-5%	0원	2,130원	68,620원	>

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

중고도서

검색중

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

eBook

검색중

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

책 이미지

Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

eBook 미리보기

책 정보

· 제목 : Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Paperback)
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 > 일반
· ISBN : 9783319216690
· 쪽수 : 488쪽
· 출판일 : 2015-07-18

저자소개

Pasareanu Corina S. Pasareanu (엮은이) 정보 더보기

펼치기

Pasareanu Corina S. Pasareanu의 다른 책 >

Kroening Daniel Kroening (엮은이) 정보 더보기

펼치기

Kroening Daniel Kroening의 다른 책 >