홈 / 책 찾기 / 판 고르기

Predicate calculus and program semantics

판 1개, 최신 판부터

Predicate calculus and program semantics

Springer-Verlag, 1990, ISBN 9780387969572

가격 확인이 판 보기