전체보기

장바구니

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

표지 보기 표지 안보기

보관함에 상품담기

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

장바구니에 상품담기

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

Modeling Companion for Software Practitioners (Paperback, 2018)
Egon Borger, Alexander Raschke
Springer | 2018년 04월 | 2018년 04월
99,910원 (18% 할인 / 5,000원)
택배로 주문하면 8월 7일 출고 변경

Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings (Paperback, 1992)
Egon Borger, Gerhard Jager, Hans Kleine Buning , Michael M. Richter (엮은이)
Springer Verlag | 1992년 09월 | 1992년 09월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 7일 출고 변경

Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings (Paperback, 1991)
Egon Borger, Michael M. Richter, Hans Kleine Buning , Wolfgang Schonfeld (엮은이)
Springer Verlag | 1991년 09월 | 1991년 09월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 7일 출고 변경

Computer Science Logic (Paperback) - 6th Workshop, Csl '92 San Miniato, Italy September 28-October 2, 1992 Selected Papers
Egon Borger, H. Kleine Buning, G. Jager
Springer Verlag | 1993년 08월 | 1993년 08월
118,170원 (18% 할인 / 5,910원)
택배로 주문하면 7월 30일 출고 변경

Abstract State Machines, B and Z: First International Conference, Abz 2008, London, UK, September 16-18, 2008. Proceedings (Paperback)
Egon Borger (엮은이)
Springer-Verlag New York Inc | 2008년 09월 | 2008년 09월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 7일 출고 변경

Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers (Paperback, 1993)
Egon Borger, Michael M. Richter, Simone Martini, Gerhard Jager, Hans Kleine Buning
Springer Verlag | 1993년 08월 | 1993년 08월
82,230원 (18% 할인 / 4,120원)
택배로 주문하면 8월 7일 출고 변경

Java and the Java Virtual Machine: Definition, Verification, Validation (Hardcover, 2001) - Definition, Verification, Validation
Egon Borger, Robert F. Stark, Joachim Shmid
Springer-Verlag New York Inc | 2001년 06월 | 2001년 06월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 7일 출고 변경

Abstract State Machines: A Method for High-Level System Design and Analysis (Hardcover, 2003) - A Method for High-Level System Design and Analysis
Egon Borger, Robert F. Stark
Springer Verlag | 2003년 04월 | 2003년 04월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 7일 출고 변경

Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers (Paperback, 1994)
Egon Borger, Yuri Gurevich, Karl Meinke
Springer Verlag | 1994년 07월 | 1994년 07월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 7일 출고 변경

CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, Frg, October 2-6, 1989. Proceedings (Paperback, 1990)
Egon Borger, Michael M. Richter, Hans Kleine Buning
Springer Verlag | 1990년 07월 | 1990년 07월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 7일 출고 변경

CSL '87: 1st Workshop on Computer Science Logic, Karlsruhe, Frg, October 12-16, 1987. Proceedings (Paperback, 1988)
Egon Borger, Michael M. Richter, Hans Kleine Buning
Springer Verlag | 1988년 09월 | 1988년 09월
82,230원 (18% 할인 / 4,120원)
택배로 주문하면 8월 7일 출고 변경

CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, Frg, October 3-7, 1988. Proceedings (Paperback, 1989)
Egon Borger, Michael M. Richter, Hans Kleine Buning
Springer Verlag | 1989년 09월 | 1989년 09월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 7일 출고 변경

Subject-Oriented Business Process Management (Paperback)
Egon Borger, Werner Schmidt, Christian Stary, Albert Fleischmann, Stefan Obermeier
Springer-Verlag Berlin and Heidelberg GmbH & Co. K | 2014년 12월 | 2014년 12월
82,170원 (18% 할인 / 4,110원)
택배로 주문하면 8월 7일 출고 변경

Architecture Design and Validation Methods (Hardcover)
Egon Borger (엮은이)
Springer Verlag | 2000년 03월 | 2000년 03월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 7일 출고 변경

Computer Science Logic (Paperback) - 5th Workshop, Csl '91, Berne, Switzerland, October 7-11, 1991 : Proceedings
Egon Borger, G. Jager, H. Kleine Buning
Springer Verlag | 1992년 10월 | 1992년 10월
113,900원 (18% 할인 / 5,700원)
택배로 주문하면 7월 30일 출고 변경

Berechenbarkeit Komplexit? Logik: Algorithmen, Sprachen Und Kalk?e Unter Besonderer Ber?ksichtigung Ihrer Komplexit? (Paperback, 3, 3., Verb. Und E)
Egon Borger
Springer Verlag | 1992년 03월 | 1992년 03월
71,830원 (18% 할인 / 3,600원)
택배로 주문하면 8월 7일 출고 변경

The Classical Decision Problem (Hardcover)
Egon Borger, Erich Gradel, Yuri Gurevich
Springer Verlag | 1997년 06월 | 1997년 06월
196,610원 (18% 할인 / 9,840원)
택배로 주문하면 7월 30일 출고 변경

Advances in Software Engineering: Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures (Paperback, 2008)
Egon Borger, Antonio Cisternino (엮은이)
Springer-Verlag New York Inc | 2008년 12월 | 2008년 12월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 7일 출고 변경

The Classical Decision Problem (Paperback, Softcover Repri)
Egon Borger, Erich Gradel, Yuri Gurevich
Springer Verlag | 2001년 08월 | 2001년 08월
296,100원 (18% 할인 / 14,810원)
택배로 주문하면 8월 7일 출고 변경

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

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

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

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

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

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