Jim Woodcock의 신간 소식을 구독하세요.
신청
ㆍㆍㆍ
  • Theoretical Aspects of Computing -- ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings (Paperback)
  • Zhiming Liu, Jim Woodcock, Huibiao Zhu (엮은이)
  • Springer Nature B.V. | 2013년 11월
  • 62,980원 (10% 할인 / 3,150원)
  • 택배로 주문하면 8월 20일 출고 변경
  • Software Engineering Mathematics (Hardcover)
  • Jim Woodcock
  • Addison Wesley | 1989년 01월
  • 67,420원 (10% 할인 / 2,030원)
  • 택배로 주문하면 8월 22일 출고 변경
  • Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday (Paperback, 2013) - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
  • Zhiming Liu, Jim Woodcock, Huibiao Zhu (엮은이)
  • Springer-Verlag New York Inc | 2013년 07월
  • 77,880원 (18% 할인 / 3,900원)
  • 택배로 주문하면 8월 27일 출고 변경
  • Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings (Paperback)
  • Natarajan Shankar, Jim Woodcock (엮은이)
  • Springer Verlag | 2008년 09월
  • 83,330원 (18% 할인 / 4,170원)
  • 택배로 주문하면 8월 27일 출고 변경
  • Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Sele (Paperback)
  • Bertrand Meyer, Jim Woodcock (엮은이)
  • Springer-Verlag New York Inc | 2008년 07월
  • 155,780원 (18% 할인 / 7,790원)
  • 택배로 주문하면 8월 27일 출고 변경
  • Dependable Software Engineering. Theories, Tools, and Applications: 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Pro (Paperback)
  • Jim Woodcock, Wenhui Zhang, Shengchao Qin (엮은이)
  • Springer | 2021년 11월
  • 125,000원 (18% 할인 / 6,250원)
  • 택배로 주문하면 8월 27일 출고 변경
  • FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proc (Paperback, 1999)
  • Jim Woodcock (엮은이)
  • Springer-Verlag New York Inc | 1999년 09월
  • 155,780원 (18% 할인 / 7,790원)
  • 택배로 주문하면 8월 27일 출고 변경
  • Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, (Paperback)
  • Zhiming Liu, Jim Woodcock, Huibiao Zhu (엮은이)
  • Springer Nature B.V. | 2013년 11월
  • 62,980원 (10% 할인 / 3,150원)
  • 택배로 주문하면 8월 20일 출고 변경
  • Millennial Perspectives in Computer Science : Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare (Hardcover)
  • Jim Davies, Jim Woodcock, Bill Roscoe (엮은이)
  • Red Globe Press | 2000년 11월
  • 180,620원 (15% 할인 / 9,040원)
  • 택배로 주문하면 8월 6일 출고 변경
  • FM'99 - Formal Methods: World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Pr (Paperback, 1999)
  • Jim Woodcock (엮은이)
  • Springer-Verlag New York Inc | 1999년 09월
  • 155,780원 (18% 할인 / 7,790원)
  • 택배로 주문하면 8월 27일 출고 변경
  • Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Procee (Paperback, 2003)
  • Jin Song Dong , Jim Woodcock (엮은이)
  • Springer-Verlag New York Inc | 2003년 10월
  • 155,780원 (18% 할인 / 7,790원)
  • 택배로 주문하면 8월 27일 출고 변경

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

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

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

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

1:1 문의

FAQ

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