보관함에 상품담기

장바구니에 상품담기

Formal Methods for Open Object-Based Distributed Systems: 6th Ifip Wg 6.1 International Conference, Fmoods 2003, Paris, France, November 19.21, 2003, (Paperback, 2003)
Elie Najm, Uwe Nestmann , Perdita Stevens (엮은이)
Springer Verlag | 2003년 11월 | 2003년 11월
82,230원 (18% 할인 / 4,120원)
택배로 주문하면 8월 7일 출고 변경

Sdl 2007: Design for Dependable Systems: 13th International Sdl Forum, Paris, France, September 18-21, 2007, Proceedings (Paperback, 2007) - 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings
Rick Reed, Elie Najm, Emmanuel Gaudin (엮은이)
Springer-Verlag New York Inc | 2007년 09월 | 2007년 09월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 7일 출고 변경

Formal Techniques for Networked and Distributed Systems - Forte 2006: 26th Ifip Wg 6.1 International Conference, Paris, France, September 26-29, 2006, (Paperback, 2006)
Elie Najm, Jean-francois Pradat-peyre (엮은이)
Springer-Verlag New York Inc | 2006년 09월 | 2006년 09월
153,730원 (18% 할인 / 7,690원)
택배로 주문하면 8월 7일 출고 변경

Formal Description Techniques and Protocol Specification, Testing and Verification: Forte XI/Pstv XVIII 98 Ifip Tc6 Wg6.1 Joint International Conferen (Hardcover, 1998) - Forte Xi/Pstv XVIII '98 : Ifip Tc6 Wg6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication
Ana Cavalli, Stan Budkowski, Elie Najm (엮은이)
Kluwer Academic Pub | 1998년 10월 | 1998년 10월
307,480원 (18% 할인 / 15,380원)
택배로 주문하면 8월 7일 출고 변경

Formal Methods for Open Object-based Distributed Systems : Volume 1 (Hardcover, 1996 ed.)
Elie Najm, Jean-Bernard Stefani (엮은이)
Chapman & Hall | 1996년 11월 | 1996년 11월
307,480원 (18% 할인 / 15,380원)
택배로 주문하면 8월 7일 출고 변경

Formal Description Techniques and Protocol Specification, Testing and Verification: Forte XI/Pstv Xviii'98 Ifip Tc6 Wg6.1 Joint International Conferen (Paperback, Softcover Repri)
Ana Cavalli, Stan Budkowski, Elie Najm (엮은이)
Springer | 2013년 03월 | 2013년 03월
307,480원 (18% 할인 / 15,380원)
택배로 주문하면 8월 7일 출고 변경