M. Bidoit의 신간 소식을 구독하세요.
ㆍㆍㆍ
  • Algebraic System Specification and Development (Paperback) - A Survey and Annotated Bibliography
  • M. Bidoit
  • Springer Verlag | 1991년 07월
  • 50,500원 (18% 할인 / 2,530원)
  • 택배로 주문하면 12월 4일 출고 변경
  • Systems and Software Verification: Model-Checking Techniques and Tools (Paperback)
  • M. Bidoit, A. Finkel, B. Berard
  • Springer | 2010년 12월
  • 213,790원 (18% 할인 / 10,690원)
  • 택배로 주문하면 12월 12일 출고 변경
  • Tapsoft'97: Theory and Practice of Software Development: 7th International Joint Conference Caap/Fase, Lille, France, April 14-18, 1997, Proceedings (Paperback, 1997)
  • M. Dauchet, M. Bidoit (엮은이)
  • Springer-Verlag New York Inc | 1997년 04월
  • 163,390원 (18% 할인 / 8,170원)
  • 택배로 주문하면 12월 12일 출고 변경
  • Recent Trends in Data Type Specification (Paperback) - 8th Workshop on Specification of Abstract Data Types Joint With the 3rd Compass Workshop Dourdan, France, A
  • M. Bidoit , C. Choppy (엮은이)
  • Springer Verlag | 1993년 03월
  • 108,310원 (18% 할인 / 5,420원)
  • 택배로 주문하면 12월 4일 출고 변경

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

뒤로가기
위로가기