책 이미지
책 정보
· 제목 : Separation Logic for Multithreaded Object-Oriented Languages (Paperback) (Full-Fledged Verification and Automatic Parallelization of Programs)
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 언어 > 일반
· ISBN : 9783838363165
· 쪽수 : 200쪽
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 언어 > 일반
· ISBN : 9783838363165
· 쪽수 : 200쪽
저자소개
추천도서
분야의 베스트셀러 >