logo
logo
x
바코드검색
BOOKPRICE.co.kr
책, 도서 가격비교 사이트
바코드검색

인기 검색어

실시간 검색어

검색가능 서점

도서목록 제공

From Lambda Calculus to Cybersecurity Through Program Analysis: Essays Dedicated to Chris Hankin on the Occasion of His Retirement

From Lambda Calculus to Cybersecurity Through Program Analysis: Essays Dedicated to Chris Hankin on the Occasion of His Retirement (Paperback, 2020)

Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan (엮은이)
  |  
Springer
2020-02-15
  |  
93,100원

일반도서

검색중
서점 할인가 할인률 배송비 혜택/추가 실질최저가 구매하기
알라딘 76,340원 -18% 0원 3,820원 72,520원 >
yes24 로딩중
교보문고 로딩중
notice_icon 검색 결과 내에 다른 책이 포함되어 있을 수 있습니다.

중고도서

검색중
로딩중

e-Book

검색중
서점 정가 할인가 마일리지 실질최저가 구매하기
로딩중

해외직구

책 이미지

From Lambda Calculus to Cybersecurity Through Program Analysis: Essays Dedicated to Chris Hankin on the Occasion of His Retirement

책 정보

· 제목 : From Lambda Calculus to Cybersecurity Through Program Analysis: Essays Dedicated to Chris Hankin on the Occasion of His Retirement (Paperback, 2020) 
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 미적분학
· ISBN : 9783030411022
· 쪽수 : 293쪽

목차

Logic.- Program Analysis.- Security.

저자소개

Alessandra Di Pierro (엮은이)    정보 더보기
펼치기
Pasquale Malacaria (엮은이)    정보 더보기
펼치기
Rajagopal Nagarajan (엮은이)    정보 더보기
펼치기
이 포스팅은 쿠팡 파트너스 활동의 일환으로,
이에 따른 일정액의 수수료를 제공받습니다.
도서 DB 제공 : 알라딘 서점(www.aladin.co.kr)
최근 본 책