E. Borger의 신간 소식을 구독하세요.

표지 보기 표지 안보기

보관함에 상품담기

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

장바구니에 상품담기

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

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control (Paperback, 1996)
E. Borger, Jean-Raymond Abrial, H. Langmaack (엮은이)
Springer Verlag | 1996년 10월 | 1996년 10월
166,680원 (18% 할인 / 8,340원)
택배로 주문하면 11월 19일 출고 변경

Computation Theory and Logic (Paperback)
E. Borger (엮은이)
Springer Verlag | 1987년 09월 | 1987년 09월
107,550원 (18% 할인 / 5,380원)
택배로 주문하면 11월 11일 출고 변경

Csl, '89. 3rd Workshop on Computer Science Logic, Kaiserlautern, Frg, October 2-6, 1989. Proceedings. (Paperback)
E. Borger, H. Kleine Buning , M. M. Richter (엮은이)
Springer Verlag | 1990년 07월 | 1990년 07월
100,370원 (18% 할인 / 5,020원)
택배로 주문하면 11월 11일 출고 변경

Csl '88 (Paperback) - 2nd Workshop on Computer Science Logic Duisburg, Frg, October 3-7, 1988 : Proceedings
E. Borger, H. Kleine Buning , M. M. Richter (엮은이)
Springer Verlag | 1989년 11월 | 1989년 11월
104,680원 (18% 할인 / 5,240원)
택배로 주문하면 11월 11일 출고 변경

Logic and Machines: Decision Problems and Complexity: Proceedings of the Symposium "Rekursive Kombinatorik" Held from May 23-28, 1983 at the Institut (Paperback, Softcover Repri)
E. Borger, G. Hasenjaeger, D. Rodding (엮은이)
Springer-Verlag Berlin and Heidelberg GmbH & Co. K | 1984년 05월 | 1984년 05월
54,510원 (18% 할인 / 2,730원)
택배로 주문하면 11월 19일 출고 변경

Csl 87 (Paperback) - 1st Workshop on Computer Science Logic
E. Borger , Kleine H. Buning (엮은이)
Springer Verlag | 1988년 09월 | 1988년 09월
90,330원 (18% 할인 / 4,520원)
택배로 주문하면 11월 11일 출고 변경

Logic and Machines (Paperback) - Decision Problems and Complexity
Symposium Rekursive Kombinatorik , E. Borger (엮은이)
Springer Verlag | 1984년 06월 | 1984년 06월
44,480원 (18% 할인 / 2,230원)
택배로 주문하면 11월 11일 출고 변경

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

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

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

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

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

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