Tobias Nipkow의 신간 소식을 구독하세요.

표지 보기 표지 안보기

보관함에 상품담기

로그인이 필요한 기능입니다.
로그인 후 다시 시도해주세요
로그인

장바구니에 상품담기

품절도서센터
장바구니 가기

Concrete Semantics: With Isabelle/Hol (Paperback, Softcover Repri)
Tobias Nipkow, Gerwin Klein
Springer | 2016년 09월 | 2016년 09월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 12월 2일 출고 변경

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands, September 23 - 24, 1993. Selected (Paperback, 1994)
Tobias Nipkow, Bernhard Moller, Jan Heering , Karl Meinke (엮은이)
Springer Verlag | 1994년 07월 | 1994년 07월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 12월 2일 출고 변경

Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24 - 28, 1993. Selected Papers (Paperback, 1994)
Henk Barendregt , Tobias Nipkow (엮은이)
Springer Verlag | 1994년 05월 | 1994년 05월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 12월 2일 출고 변경

Software Safety and Security (Hardcover) - Tools for Analysis and Verification
Tobias Nipkow (엮은이)
Ios Pr Inc | 2012년 06월 | 2012년 06월
281,260원 (18% 할인 / 14,070원)
택배로 주문하면 11월 22일 출고 변경

Rewriting Techniques and Applications: 9th International Conference, Rta-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings (Paperback, 1998)
Tobias Nipkow (엮은이)
Springer Verlag | 1998년 03월 | 1998년 03월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 12월 2일 출고 변경

Term Rewriting and All That (Paperback, Revised)
Tobias Nipkow, Franz Baader
Cambridge Univ Pr | 1999년 08월 | 1999년 08월
94,590원 (18% 할인 / 4,730원)
택배로 주문하면 12월 2일 출고 변경

Concrete Semantics: With Isabelle/Hol (Hardcover, 2014)
Tobias Nipkow, Gerwin Klein
Springer International Publishing AG | 2014년 12월 | 2014년 12월
116,060원 (18% 할인 / 5,810원)
택배로 주문하면 12월 2일 출고 변경

Automated Reasoning: First International Joint Conference, Ijcar 2001 Siena, Italy, June 18-23, 2001 Proceedings (Paperback, 2001)
Tobias Nipkow, Alexander Leitsch, Rajeev Gore (엮은이)
Springer Verlag | 2001년 06월 | 2001년 06월
165,590원 (18% 할인 / 8,280원)
택배로 주문하면 12월 2일 출고 변경

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Paperback)
Tobias Nipkow, Stefan Berghofer (엮은이)
Springer-Verlag New York Inc | 2009년 08월 | 2009년 08월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 12월 2일 출고 변경

Isabelle/Hol: A Proof Assistant for Higher-Order Logic (Paperback, 2002)
Lawrence C. Paulson, Markus Wenzel , Tobias Nipkow (엮은이)
Springer Verlag | 2002년 04월 | 2002년 04월
85,100원 (18% 할인 / 4,260원)
택배로 주문하면 12월 2일 출고 변경

Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Paperback)
Tobias Nipkow, Alexander Leitsch, Rajeev Gore (엮은이)
Springer Nature B.V. | 2014년 03월 | 2014년 03월
62,980원 (10% 할인 / 3,150원)
택배로 주문하면 11월 25일 출고 변경

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings (Paperback, 2006)
Tobias Nipkow, Jayadev Misra, Emil Sekerinski (엮은이)
Springer-Verlag New York Inc | 2006년 08월 | 2006년 08월
154,750원 (18% 할인 / 7,740원)
택배로 주문하면 12월 2일 출고 변경

Types for Proofs and Programs (Paperback) - International Workshop Types '93, Nijmegen, the Netherlands, May 24-28, 1993, Selected Papers
Henk Barendregt , Tobias Nipkow (엮은이)
Springer Verlag | 1994년 06월 | 1994년 06월
107,550원 (18% 할인 / 5,380원)
택배로 주문하면 11월 22일 출고 변경

검색결과에 만족하시나요?

네, 만족해요 아니오, 만족하지 않아요.

로그인전체 메뉴회사 소개출판사 안내PC 버전

(주)알라딘커뮤니케이션

일반문의 (발신자 부담) 1544-2514

중고매장 위치, 영업시간 안내