Ofer Strichman의 신간 소식을 구독하세요.

표지 보기 표지 안보기

보관함에 상품담기

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

장바구니에 상품담기

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

Efficient Decision Procedures for Validation (Paperback) - Translation Validation, decision procedures for equality logic, and SAT tuning for Bounded Model Checking
Ofer Strichman
LAP Lambert Academic Publishing | 2010년 05월 | 2010년 05월
114,880원 (10% 할인 / 5,750원)
택배로 주문하면 11월 8일 출고 변경

Decision Procedures: An Algorithmic Point of View (Paperback)
Daniel Kroening, Ofer Strichman
Springer | 2018년 07월 | 2018년 07월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 11월 15일 출고 변경

Decision Procedures: An Algorithmic Point of View (Hardcover, 2)
Daniel Kroening, Ofer Strichman
Springer Berlin Heidelberg | 2017년 01월 | 2017년 01월
115,290원 (18% 할인 / 5,770원)
택배로 주문하면 11월 15일 출고 변경

Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, Hvc 2017, Haifa, Israel, November 13-15, 2017, Proc (Paperback, 2017)
Ofer Strichman, Rachel Tzoref-brill (엮은이)
Springer-Verlag New York Inc | 2017년 11월 | 2017년 11월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 11월 15일 출고 변경

Decision Procedures: An Algorithmic Point of View (Paperback)
Daniel Kroening, Ofer Strichman , R. E. Bryant
Springer Verlag | 2010년 11월 | 2010년 11월
108,590원 (10% 할인 / 3,260원)
택배로 주문하면 11월 7일 출고 변경

Decision Procedures: An Algorithmic Point of View (Hardcover) - An Algorithmic Point of View
Daniel Kroening, Ofer Strichman
Springer-Verlag New York Inc | 2008년 05월 | 2008년 05월
99,910원 (18% 할인 / 5,000원)
택배로 주문하면 11월 15일 출고 변경

Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings (Paperback, 2010)
Ofer Strichman (엮은이)
Springer-Verlag New York Inc | 2010년 06월 | 2010년 06월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 11월 15일 출고 변경

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

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

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

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

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

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