Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. P

책 이미지

eBook 미리보기

책 정보

· 제목 : Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. P (Paperback)
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 > 일반
· ISBN : 9783662491232
· 쪽수 : 574쪽
· 출판일 : 2016-02-12

저자소개

Barbara Jobstmann (엮은이) 정보 더보기

펼치기

Leino K. Rustan M. Leino (엮은이) 정보 더보기

펼치기

Leino K. Rustan M. Leino의 다른 책 >

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

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

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

Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. P (Paperback)

일반도서

중고도서

eBook

책 이미지

책 정보

저자소개

추천도서