Dimitra Giannakopoulou의 신간 소식을 구독하세요.

표지 보기 표지 안보기

보관함에 상품담기

로그인이 필요한 기능입니다.
로그인 후 다시 시도해주세요
로그인

장바구니에 상품담기

품절도서센터
장바구니 가기

Automated Test Case Generation for an Autopilot Requirement Prototype (Paperback)
Dimitra Giannakopoulou
Bibliogov | 2013년 06월 | 2013년 06월
21,000원 (18% 할인 / 1,050원)
택배로 주문하면 11월 22일 출고 변경

FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings (Paperback, 2012)
Dimitra Giannakopoulou, Dominique Mery (엮은이)
Springer-Verlag New York Inc | 2012년 07월 | 2012년 07월
82,780원 (18% 할인 / 4,140원)
택배로 주문하면 12월 2일 출고 변경

Verified Software: Theories, Tools and Experiments: 6th International Conference, Vstte 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Pape (Paperback, 2014)
Daniel Kroening, Dimitra Giannakopoulou (엮은이)
Springer-Verlag New York Inc | 2014년 10월 | 2014년 10월
74,290원 (18% 할인 / 3,720원)
택배로 주문하면 12월 2일 출고 변경

Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and (Paperback)
Dimitra Giannakopoulou, Fernando Orejas (엮은이)
Springer | 2011년 03월 | 2011년 03월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 12월 2일 출고 변경

Software Engineering and Formal Methods: 12th International Conference, Sefm 2014, Grenoble, France, September 1-5, 2014, Proceedings (Paperback, 2014)
Dimitra Giannakopoulou, Sala걆, Gwen (엮은이)
Springer-Verlag New York Inc | 2014년 08월 | 2014년 08월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 12월 2일 출고 변경

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

네, 만족해요 아니오, 만족하지 않아요.

로그인전체 메뉴회사 소개출판사 안내PC 버전

(주)알라딘커뮤니케이션

일반문의 (발신자 부담) 1544-2514

중고매장 위치, 영업시간 안내