Corina S. Psreanu의 신간 소식을 구독하세요.
ㆍㆍㆍ
  • Symbolic Execution and Quantitative Reasoning (Paperback) - Applications to Software Safety and Security
  • Corina S. Psreanu
  • Springer | 2020년 05월
  • 38,930원 (18% 할인 / 1,950원)
  • 택배로 주문하면 11월 22일 출고 변경
  • Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings (Paperback)
  • Radu Calinescu, Corina S. Psreanu (엮은이)
  • Springer | 2021년 12월
  • 124,620원 (18% 할인 / 6,240원)
  • 택배로 주문하면 11월 22일 출고 변경

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

뒤로가기
위로가기