홈 / 책 찾기 / Edinburgh LCF

Edinburgh LCF 표지

Edinburgh LCF

a mechanised logic of computation

저자
Michael J. C. Gordon
출판사
Springer-Verlag
출간
1979
쪽수
159쪽
언어
영어
ISBN
9780387097244
상태
수량
배송

해외에서 들여옵니다. 보통 2~3주, 지금 주문하시면 11월 22일에서 11월 29일 사이 도착 예상

가격견적 요청

담아 두시면 24시간 안에 가격을 알려 드립니다. 가격을 보시고 결제하시면 됩니다.