이전
전체보기

알라딘

1장바구니
Jonathan P. Bowen의 신간 소식을 구독하세요.
ㆍㆍㆍ
  • Theories of Programming and Formal Methods (Paperback) - Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
  • Jonathan P. Bowen
  • Springer Nature B.V. | 2023년 08월
  • 62,530원 (10% 할인 / 3,130원)
  • 택배로 주문하면 7월 22일 출고 변경
  • Unifying Theories of Programming: 6th International Symposium, Utp 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers (Paperback, 2017)
  • Jonathan P. Bowen, Huibiao Zhu (엮은이)
  • Springer-Verlag New York Inc | 2017년 01월
  • 76,850원 (18% 할인 / 3,850원)
  • 택배로 주문하면 7월 29일 출고 변경
  • Zum '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings (Paperback, 1995)
  • Michael G. Hinchey, Jonathan P. Bowen
  • Springer Verlag | 1995년 08월
  • 153,730원 (18% 할인 / 7,690원)
  • 택배로 주문하면 7월 29일 출고 변경
  • The Arts and Computational Culture: Real and Virtual Worlds (Hardcover, 2024)
  • Jonathan P. Bowen, Tula Giannini (엮은이)
  • Springer | 2024년 06월
  • 344,000원 (10% 할인 / 10,320원)
  • 택배로 주문하면 7월 19일 출고 변경
  • Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday (Paperback, 2023)
  • Li, Qin, Jonathan P. Bowen, Qiwen Xu (엮은이)
  • Springer | 2023년 08월
  • 125,080원 (10% 할인 / 3,760원)
  • 택배로 주문하면 7월 12일 출고 변경
  • Zb 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings (Paperback, 2003)
  • Didier Bert , Jonathan P. Bowen (엮은이)
  • Springer-Verlag New York Inc | 2003년 05월
  • 153,730원 (18% 할인 / 7,690원)
  • 택배로 주문하면 7월 29일 출고 변경
  • Engineering Trustworthy Software Systems: 5th International School, Setss 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures (Paperback, 2020)
  • Zhiming Liu, Zili Zhang, Jonathan P. Bowen (엮은이)
  • Springer | 2020년 08월
  • 82,230원 (18% 할인 / 4,120원)
  • 택배로 주문하면 7월 29일 출고 변경
  • Electronic Visualisation in Arts and Culture (Paperback, Softcover reprint of the original 1st ed. 2013)
  • Suzanne Keene, Kia Ng, Jonathan P. Bowen (엮은이)
  • Springer | 2016년 08월
  • 215,230원 (18% 할인 / 10,770원)
  • 택배로 주문하면 7월 29일 출고 변경
  • Zum '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings (Paperback, 1998)
  • Jonathan P. Bowen (엮은이)
  • Springer Verlag | 1998년 09월
  • 76,850원 (18% 할인 / 3,850원)
  • 택배로 주문하면 7월 29일 출고 변경
  • Zb 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proc (Paperback, 2000)
  • Jonathan P. Bowen, Steve Dunne, Andy Galloway (엮은이)
  • Springer Verlag | 2000년 08월
  • 76,850원 (18% 할인 / 3,850원)
  • 택배로 주문하면 7월 29일 출고 변경

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

뒤로가기
위로가기