전체보기

장바구니

Brijesh Dongol의 신간 소식을 구독하세요.

표지 보기 표지 안보기

보관함에 상품담기

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

장바구니에 상품담기

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

Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, (Paperback)
Graeme Smith, Brijesh Dongol, Petre Luigia Petre (엮은이)
Springer Nature B.V. | 2019년 09월 | 2019년 09월
62,530원 (10% 할인 / 3,130원)
택배로 주문하면 7월 31일 출고 변경

Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings (Paperback)
Elena Troubitsyna, Brijesh Dongol (엮은이)
Springer Nature B.V. | 2020년 11월 | 2020년 11월
62,530원 (10% 할인 / 3,130원)
택배로 주문하면 7월 31일 출고 변경

Integrated Formal Methods: 16th International Conference, Ifm 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings (Paperback, 2020)
Elena Troubitsyna, Brijesh Dongol (엮은이)
Springer | 2020년 11월 | 2020년 11월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 7일 출고 변경

Software Engineering for Robotics (Paperback)
Jim Woodcock, Jon Timmis, Ana Cavalcanti, Brijesh Dongol, Rob Hierons (엮은이)
Springer | 2022년 07월 | 2022년 07월
184,480원 (18% 할인 / 9,230원)
택배로 주문하면 8월 7일 출고 변경

Software Engineering for Robotics (Hardcover)
Jim Woodcock, Jon Timmis, Ana Cavalcanti, Brijesh Dongol, Rob Hierons (엮은이)
Springer | 2021년 07월 | 2021년 07월
184,480원 (18% 할인 / 9,230원)
택배로 주문하면 8월 7일 출고 변경

Formal Methods Teaching: Third International Workshop and Tutorial, Fmtea 2019, Held as Part of the Third World Congress on Formal Methods, FM (Paperback, 2019)
Graeme Smith, Luigia Petre, Brijesh Dongol (엮은이)
Springer Verlag | 2019년 10월 | 2019년 10월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 7일 출고 변경

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

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

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

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

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

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