Bernhard Beckert의 신간 소식을 구독하세요.

표지 보기 표지 안보기

보관함에 상품담기

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

장바구니에 상품담기

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

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원)
택배로 주문하면 9월 5일 출고 변경

Formal Verification of Object-Oriented Software: International Conference, Foveoo 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers (Paperback, 2012)
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov (엮은이)
Springer-Verlag New York Inc | 2012년 07월 | 2012년 07월
70,720원 (18% 할인 / 3,540원)
택배로 주문하면 9월 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,080원 (10% 할인 / 3,110원)
택배로 주문하면 8월 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원)
택배로 주문하면 9월 5일 출고 변경

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux 2005, Koblenz, Germany, September 14-17, 2005, Proc (Paperback, 2005)
Bernhard Beckert
Springer Verlag | 2005년 09월 | 2005년 09월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 9월 5일 출고 변경

Tests and Proofs: Second International Conference, Tap 2008, Prato, Italy, April 9-11, 2008, Proceedings (Paperback, 2008) - Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings
Bernhard Beckert, Reiner Hahnle (엮은이)
Springer-Verlag New York Inc | 2008년 03월 | 2008년 03월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 9월 5일 출고 변경

Electronic Voting: 5th International Joint Conference, E-Vote-Id 2020, Bregenz, Austria, October 6-9, 2020, Proceedings (Paperback, 2020)
Bernhard Beckert, Melanie Volkamer, Ralf Kusters, Robert Krimmer, Oksana Kulyk (엮은이)
Springer | 2020년 09월 | 2020년 09월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 9월 5일 출고 변경

Formal Verification of Object-Oriented Software: International Conference, Foveoos 2010, Paris, France, June 28-30, 2010, Revised Selected Papers (Paperback, 2011)
Bernhard Beckert, Claude Marche (엮은이)
Springer-Verlag New York Inc | 2011년 01월 | 2011년 01월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 9월 5일 출고 변경

Verification of Object-Oriented Software. the Key Approach: Foreword by K. Rustan M. Leino (Paperback, 2007)
Bernhard Beckert (엮은이)
Springer-Verlag New York Inc | 2007년 01월 | 2007년 01월
153,730원 (18% 할인 / 7,690원)
택배로 주문하면 9월 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원)
택배로 주문하면 9월 5일 출고 변경

Electronic Voting: 4th International Joint Conference, E-Vote-Id 2019, Bregenz, Austria, October 1-4, 2019, Proceedings (Paperback, 2019)
Bernhard Beckert, Melanie Volkamer, Veronique Cortier, Ralf Kusters, Robert Krimmer (엮은이)
Springer | 2019년 09월 | 2019년 09월
89,150원 (18% 할인 / 4,460원)
택배로 주문하면 9월 5일 출고 변경

Formal Methods for Components and Objects: 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Paperback, 2013) - 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Bernhard Beckert, Ferruccio Damiani (엮은이)
Springer-Verlag New York Inc | 2013년 01월 | 2013년 01월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 9월 5일 출고 변경

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

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

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

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

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

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