2
Naijun Zhan의 신간 소식을 구독하세요.
ㆍㆍㆍ
  • Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday (Paperback, 2018)
  • Ji Wang, Cliff Jones, Naijun Zhan (엮은이)
  • Springer | 2018년 09월
  • 76,340원 (18% 할인 / 3,820원)
  • 택배로 주문하면 10월 15일 출고 변경
  • Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach (Hardcover, 2017)
  • Naijun Zhan, Shuling Wang, Hengjun Zhao
  • Springer | 2016년 11월
  • 175,610원 (18% 할인 / 8,790원)
  • 택배로 주문하면 10월 15일 출고 변경
  • Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach (Paperback)
  • Naijun Zhan, Shuling Wang, Hengjun Zhao
  • Springer | 2018년 06월
  • 175,610원 (18% 할인 / 8,790원)
  • 택배로 주문하면 10월 15일 출고 변경
  • Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, Setta 2016, Beijing, China, November 9-11, 2016, P (Paperback, 2016)
  • Deepak Kapur, Martin Franzle, Naijun Zhan (엮은이)
  • Springer | 2016년 10월
  • 76,340원 (18% 할인 / 3,820원)
  • 택배로 주문하면 10월 15일 출고 변경
  • Symposium on Real-Time and Hybrid Systems : Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday (Paperback)
  • Ji Wang, Cliff Jones, Naijun Zhan (엮은이)
  • Springer Nature B.V. | 2018년 10월
  • 60,280원 (10% 할인 / 3,020원)
  • 택배로 주문하면 10월 7일 출고 변경
  • Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings (Paperback)
  • Marieke Huisman, Corina Pasareanu, Naijun Zhan (엮은이)
  • Springer | 2021년 11월
  • 167,970원 (18% 할인 / 8,400원)
  • 택배로 주문하면 10월 15일 출고 변경

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

뒤로가기
위로가기