1
John Derrick의 신간 소식을 구독하세요.
ㆍㆍㆍ
  • Refinement in Z and Object-Z: Foundations and Advanced Applications (Paperback)
  • John Derrick, Eerke A. Boiten
  • Springer | 2015년 08월
  • 154,750원 (18% 할인 / 7,740원)
  • 택배로 주문하면 12월 5일 출고 변경
  • Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, Abz 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Paperback, 2012)
  • John Derrick (엮은이)
  • Springer-Verlag New York Inc | 2012년 06월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 5일 출고 변경
  • Refinement: Semantics, Languages and Applications (Paperback, Softcover Repri)
  • John Derrick, Eerke Boiten
  • Springer | 2019년 01월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 5일 출고 변경
  • Refinement: Semantics, Languages and Applications (Hardcover, 2018)
  • John Derrick, Eerke A. Boiten
  • Springer | 2018년 09월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 5일 출고 변경
  • Formal Methods for Distributed Processing : A Survey of Object-Oriented Approaches (Paperback)
  • John Derrick, Howard Bowman (엮은이)
  • Cambridge Univ Pr | 2011년 07월
  • 89,020원 (18% 할인 / 4,460원)
  • 택배로 주문하면 12월 5일 출고 변경
  • Formal Methods for Distributed Processing : A Survey of Object-Oriented Approaches (Hardcover)
  • John Derrick, Howard Bowman (엮은이)
  • Cambridge Univ Pr | 2001년 10월
  • 250,450원 (18% 할인 / 12,530원)
  • 택배로 주문하면 12월 5일 출고 변경
  • Refinement in Z and Object-Z : Foundations and Advanced Applications (Hardcover, 2nd ed. 2014)
  • John Derrick, Eerke A. Boiten
  • Springer Verlag | 2013년 08월
  • 154,750원 (18% 할인 / 7,740원)
  • 택배로 주문하면 12월 5일 출고 변경
  • Formal Techniques for Networked and Distributed Systems - Forte 2007: 27th Ifip Wg 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, P (Paperback, 2007) - 27th Ifip Wg 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
  • John Derrick, J?ri Vain (엮은이)
  • Springer-Verlag New York Inc | 2007년 06월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 5일 출고 변경

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

뒤로가기
위로가기