로그인
회원가입
나의 계정
주문조회
보관함
0
알림
추천마법사
베스트셀러
새로나온책
분야별 보기
굿즈총집합
이벤트
중고매장 찾기
매입가 조회
알라딘에 팔기
회원에게 팔기
국내도서
전자책
외국도서
온라인중고
우주점
커피
음반
블루레이
알라딘 굿즈
자동슬라이드 멈춤
북펀드
단한권 인쇄소
고객센터
알라디너TV
알라딘 서재
북플
소셜 속 알라딘
신간 소식과 다양한 이벤트 정보를 받아볼 수 있어요
2
Ernst-Rudiger Olderog
의 신간 소식을 구독하세요.
신청
통합
(4)
국내서
(0)
외서
(4)
eBook
(0)
중고온라인
(0)
알라딘굿즈
(0)
중고매장
(...)
커피
(0)
음반
(0)
블루레이
(0)
닫기
통합
(4)
국내서
(0)
외서
(4)
eBook
(0)
온라인중고
(0)
알라딘굿즈
(0)
중고매장
(...)
커피
(0)
음반
(0)
블루레이
(0)
ㆍㆍㆍ
분야 선택
과학/수학/생태 (2)
대학교재 (1)
컴퓨터 (4)
정확도순
판매량순
출시일순
상품명순
평점순
리뷰순
저가격순
표지 보기
표지 안보기
옵션
목차검색
검색
부가옵션
해외직수입 상품 제외
출간일
전체
3개월 이하
12개월 이하
24개월 이하
36개월 이하
60개월 이하
리뷰수
전체
5개 이상
10개 이상
50개 이상
100개 이상
별점
전체
2개 이상
3개 이상
4개 이상
5개
재고상태
전체
미출간/품절/절판 제외
판매가
전체
1만원 이하
2만원 이하
3만원 이하
초기화
적용
보관함에 상품담기
닫기
로그인이 필요한 기능입니다.
로그인 후 다시 시도해주세요
로그인
장바구니에 상품담기
닫기
닫기
품절도서센터
장바구니 가기
Provably Correct Systems (Paperback, Softcover Repri)
Mike Hinchey
,
Jonathan P. Bowen
,
Ernst-Rudiger Olderog
(엮은이)
Springer
|
2018년 05월
|
2018년 05월
155,780
원 (18% 할인 / 7,790원)
택배
로 주문하면
8월 12일 출고
변경
장바구니
바로구매
보관함
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday (Paperback)
Bernhard Steffen
,
Ernst-Rudiger Olderog
,
Wang Yi
(엮은이)
Springer
|
2021년 11월
|
2021년 11월
101,250
원 (18% 할인 / 5,070원)
택배
로 주문하면
8월 12일 출고
변경
장바구니
바로구매
보관함
Provably Correct Systems (Hardcover, 2017)
Mike Hinchey
,
Jonathan P. Bowen
,
Ernst-Rudiger Olderog
(엮은이)
Springer
|
2017년 03월
|
2017년 03월
155,780
원 (18% 할인 / 7,790원)
택배
로 주문하면
8월 12일 출고
변경
장바구니
바로구매
보관함
Real-time Systems : Formal Specification and Automatic Verification (Hardcover)
Ernst-Rudiger Olderog
Cambridge Univ Pr
|
2008년 09월
|
2008년 09월
127,980
원 (18% 할인 / 6,400원)
택배
로 주문하면
8월 2일 출고
변경
장바구니
바로구매
보관함
실종도서센터 접수시작
닫기
온라인 중고
더보기
검색결과에 만족하시나요?
네, 만족해요
아니오, 만족하지 않아요.
의견보내기
검색결과에 만족하시나요?
소중한 의견 감사합니다.
검색결과의 개선을 위해 노력하겠습니다.
뒤로가기
위로가기
