Zohar Manna의 신간 소식을 구독하세요.
ㆍㆍㆍ
  • The Calculus of Computation : Decision Procedures with Applications to Verification (Paperback)
  • Zohar Manna, R. Aaron
  • Springer Nature B.V. | 2009년 09월
  • 62,980원 (10% 할인 / 3,150원)
  • 택배로 주문하면 11월 15일 출고 변경
  • Temporal Verification of Reactive Systems: Safety (Paperback, 1995)
  • Zohar Manna, Amir Pnueli
  • Springer Verlag | 2012년 08월
  • 183,360원 (18% 할인 / 9,170원)
  • 택배로 주문하면 11월 22일 출고 변경
  • Time for Verification: Essays in Memory of Amir Pnueli (Paperback, 2010)
  • Zohar Manna (엮은이)
  • Springer-Verlag New York Inc | 2010년 06월
  • 185,110원 (18% 할인 / 9,260원)
  • 택배로 주문하면 11월 14일 출고 변경
  • Temporal Verification of Reactive Systems: Safety (Hardcover, 1995)
  • Zohar Manna, Amir Pnueli
  • Springer Verlag | 1995년 08월
  • 155,780원 (18% 할인 / 7,790원)
  • 택배로 주문하면 11월 22일 출고 변경
  • The Calculus of Computation: Decision Procedures with Applications to Verification (Paperback)
  • Zohar Manna, Aaron R. Bradley
  • Springer | 2010년 10월
  • 77,880원 (18% 할인 / 3,900원)
  • 택배로 주문하면 11월 22일 출고 변경
  • Mathematical Theory of Computation (Paperback)
  • Zohar Manna
  • Dover Pubns | 2003년 12월
  • 35,800원 (18% 할인 / 1,790원)
  • 택배로 주문하면 11월 7일 출고 변경

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

뒤로가기
위로가기