Ezio Bartocci의 신간 소식을 구독하세요.
신청
ㆍㆍㆍ
  • Model Checking Software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings (Paperback)
  • R. C., Ezio Bartocci (엮은이)
  • Springer Nature B.V. | 2013년 06월
  • 60,280원 (10% 할인 / 3,020원)
  • 택배로 주문하면 10월 10일 출고 변경
  • From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday (Paperback, 2019)
  • Oleg Sokolsky, Ezio Bartocci, Rance Cleaveland, Radu Grosu (엮은이)
  • Springer | 2019년 09월
  • 76,340원 (18% 할인 / 3,820원)
  • 택배로 주문하면 10월 17일 출고 변경
  • Computational Methods in Systems Biology: 14th International Conference, Cmsb 2016, Cambridge, UK, September 21-23, 2016, Proceedings (Paperback, 2016)
  • Pietro Lio, Ezio Bartocci, Nicola Paoletti (엮은이)
  • Springer | 2016년 09월
  • 76,340원 (18% 할인 / 3,820원)
  • 택배로 주문하면 10월 17일 출고 변경
  • Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday (Paperback)
  • Martin Leucker, Ezio Bartocci, Ylies Falcone (엮은이)
  • Springer | 2021년 09월
  • 83,970원 (18% 할인 / 4,200원)
  • 택배로 주문하면 10월 17일 출고 변경
  • Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings (Paperback, 2015)
  • Rupak Majumdar, Ezio Bartocci (엮은이)
  • Springer | 2015년 09월
  • 76,340원 (18% 할인 / 3,820원)
  • 택배로 주문하면 10월 17일 출고 변경
  • Model Checking Software: 20th International Symposium, Spin 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings (Paperback, 2013) - 20th International Symposium, Spin 2013, Stony Brook, Ny, USA, July 8-9, 2013, Proceedings
  • C. R. Ramakrishnan, Ezio Bartocci (엮은이)
  • Springer-Verlag New York Inc | 2013년 07월
  • 76,340원 (18% 할인 / 3,820원)
  • 택배로 주문하면 10월 17일 출고 변경

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

뒤로가기
위로가기
로그인전체 메뉴회사 소개출판사 안내PC 버전

(주)알라딘커뮤니케이션

일반문의 (발신자 부담) 1544-2514

1:1 문의

FAQ

중고매장 위치, 영업시간 안내