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

인기 검색어

일간

|

주간

|

월간

실시간 검색어

검색가능 서점

알라딘

교보문고

yes24

영풍문고

G마켓

11번가

도서목록 제공

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

app 다운로드

GooglePlay 다운로드

AppStore 다운로드

QR CODE

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic,

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, (Paperback)

Fabrice Kordon, Beyer Dirk Beyer, Huisman Marieke Huisman (엮은이)

Springer Nature B.V.

69,480원

일반도서

검색중

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

notice_icon

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

중고도서

검색중

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

eBook

검색중

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

책 이미지

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic,

eBook 미리보기

책 정보

· 제목 : Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, (Paperback)
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 > 일반
· ISBN : 9783030175030
· 쪽수 : 288쪽
· 출판일 : 2019-04-06

저자소개

Fabrice Kordon (엮은이) 정보 더보기

펼치기

Fabrice Kordon의 다른 책 >

Beyer Dirk Beyer (엮은이) 정보 더보기

펼치기

Beyer Dirk Beyer의 다른 책 >

Huisman Marieke Huisman (엮은이) 정보 더보기

펼치기

Huisman Marieke Huisman의 다른 책 >

추천도서

분야의 베스트셀러 >

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

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

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

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

최근 본 책