책 이미지
eBook 미리보기
책 정보
· 제목 : Verification, Model Checking, and Abstract Interpretation: 16th International Conference, Vmcai 2015, Mumbai, India, January 12-14, 2015, Proceedings (Paperback, 2015)
· 분류 : 외국도서 > 컴퓨터 > 컴파일러
· ISBN : 9783662460801
· 쪽수 : 468쪽
· 출판일 : 2015-01-07
· 분류 : 외국도서 > 컴퓨터 > 컴파일러
· ISBN : 9783662460801
· 쪽수 : 468쪽
· 출판일 : 2015-01-07
목차
Program verification.- Model checking.- Abstract interpretation.- Abstract domains.- Program synthesis.- Static analysis.- Deductive methods.- Program certification.- Error diagnosis.- Program transformation.- Hybrid and cyberphysical systems.
