A. Skou의 신간 소식을 구독하세요.
ㆍㆍㆍ
  • Computer Aided Verification (Paperback) - 3rd International Workshop, Cav 92 : Proceedings
  • Kim G. Larsen , A. Skou (엮은이)
  • Springer Verlag | 1992년 06월
  • 133,450원 (18% 할인 / 6,680원)
  • 택배로 주문하면 11월 27일 출고 변경

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

뒤로가기
위로가기