책 이미지

eBook 미리보기
책 정보
· 제목 : Semantics with Applications: An Appetizer (Paperback, 2007 ed.) 
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 언어 > 일반
· ISBN : 9781846286919
· 쪽수 : 274쪽
· 출판일 : 2007-03-28
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 언어 > 일반
· ISBN : 9781846286919
· 쪽수 : 274쪽
· 출판일 : 2007-03-28
목차
Operational Semantics.- More on Operational Semantics.- Provably Correct Implementation.- Denotational Semantics.- More on Denotational Semantics.- Program Analysis.- More on Program Analysis.- Axiomatic Program Verification.- More on Axiomatic Program Verification.- Further Reading.
추천도서
분야의 베스트셀러 >