Alexander Knapp의 신간 소식을 구독하세요.
ㆍㆍㆍ
  • Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 1 (Paperback, 2016)
  • Alexander Knapp, Stefania Gnesi, Maurice H. Ter Beek (엮은이)
  • Springer | 2016년 09월
  • 76,850원 (18% 할인 / 3,850원)
  • 택배로 주문하면 9월 2일 출고 변경

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

뒤로가기
위로가기