전체보기

장바구니

Wolfgang Ahrendt의 신간 소식을 구독하세요.

표지 보기 표지 안보기

보관함에 상품담기

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

장바구니에 상품담기

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

Deductive Software Verification - The Key Book: From Theory to Practice (Paperback, 2016)
Bernhard Beckert, Wolfgang Ahrendt, Richard Bubel (엮은이)
Springer | 2016년 12월 | 2016년 12월
197,390원 (18% 할인 / 9,870원)
택배로 주문하면 8월 5일 출고 변경

Deductive Software Verification - The KeY Book : From Theory to Practice (Paperback)
Bernhard Beckert, Wolfgang Ahrendt, Richard Bubel (엮은이)
Springer Nature B.V. | 2016년 12월 | 2016년 12월
62,530원 (10% 할인 / 3,130원)
택배로 주문하면 7월 29일 출고 변경

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of Key (Paperback, 2020)
Bernhard Beckert, Reiner Hahnle, Wolfgang Ahrendt, Richard Bubel, Mattias Ulbrich (엮은이)
Springer | 2020년 12월 | 2020년 12월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 5일 출고 변경

Integrated Formal Methods: 15th International Conference, Ifm 2019, Bergen, Norway, December 2-6, 2019, Proceedings (Paperback, 2019)
Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa (엮은이)
Springer | 2019년 11월 | 2019년 11월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 5일 출고 변경

Tests and Proofs: 14th International Conference, Tap 2020, Held as Part of Staf 2020, Bergen, Norway, June 22-23, 2020, Proceedings (Paperback, 2020)
Heike Wehrheim, Wolfgang Ahrendt (엮은이)
Springer | 2020년 06월 | 2020년 06월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 5일 출고 변경

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner H?nle on the Occasion of His 60th Birthday (Paperback)
Bernhard Beckert, Wolfgang Ahrendt, Richard Bubel (엮은이)
Springer | 2022년 06월 | 2022년 06월
164,490원 (18% 할인 / 8,230원)
택배로 주문하면 8월 5일 출고 변경

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

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

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

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

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

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