Gilles Barthe의 신간 소식을 구독하세요.
ㆍㆍㆍ
  • Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, the Netherlands, February, 16-17, 2012, Proceedings (Paperback)
  • Gilles Barthe (엮은이)
  • Springer-Verlag New York Inc | 2012년 01월
  • 77,880원 (18% 할인 / 3,900원)
  • 택배로 주문하면 11월 25일 출고 변경
  • Verification, Model Checking, and Abstract Interpretation (Paperback)
  • Gilles Barthe, Manuel Hermenegildo (엮은이)
  • Springer | 2010년 01월
  • 77,880원 (18% 할인 / 3,900원)
  • 택배로 주문하면 11월 25일 출고 변경
  • Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, Cassis 2005, Nice, France, March 8-11, 2005 (Paperback, 2006)
  • Gilles Barthe, Benjamin Gregoire (엮은이)
  • Springer-Verlag New York Inc | 2006년 04월
  • 77,880원 (18% 할인 / 3,900원)
  • 택배로 주문하면 11월 25일 출고 변경
  • Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, Cassis 2004, Marseille, France, March 10-14, 2004, (Paperback, 2005)
  • Gilles Barthe, Lilian Burdy, Marieke Huisman (엮은이)
  • Springer Verlag | 2005년 01월
  • 77,880원 (18% 할인 / 3,900원)
  • 택배로 주문하면 11월 25일 출고 변경
  • Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Prac (Paperback)
  • Gilles Barthe (엮은이)
  • Springer | 2011년 03월
  • 77,880원 (18% 할인 / 3,900원)
  • 택배로 주문하면 11월 25일 출고 변경
  • Applied Semantics: International Summer School, Appsem 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures (Paperback, 2002)
  • Gilles Barthe (엮은이)
  • Springer Verlag | 2002년 08월
  • 83,330원 (18% 할인 / 4,170원)
  • 택배로 주문하면 11월 25일 출고 변경
  • Trustworthy Global Computing: Third Symposium, Tgc 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers (Paperback, 2008)
  • Gilles Barthe, Cedric Fournet (엮은이)
  • Springer-Verlag New York Inc | 2008년 03월
  • 77,880원 (18% 할인 / 3,900원)
  • 택배로 주문하면 11월 25일 출고 변경
  • Formal Methods for Open Object-Based Distributed Systems: 10th Ifip Wg 6.1 International Conference, Fmoods 2008, Oslo, Norway, June 4-6, 2008 Proceed (Paperback, 2008)
  • Gilles Barthe, Frank S. De Boer (엮은이)
  • Springer-Verlag New York Inc | 2008년 05월
  • 77,880원 (18% 할인 / 3,900원)
  • 택배로 주문하면 11월 25일 출고 변경

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

뒤로가기
위로가기