Frank De Boer의 신간 소식을 구독하세요.

표지 보기 표지 안보기

보관함에 상품담기

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

장바구니에 상품담기

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

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (Paperback, 2015)
Frank De Boer, Nikolaj Bjorner (엮은이)
Springer | 2015년 06월 | 2015년 06월
76,340원 (18% 할인 / 3,820원)
택배로 주문하면 10월 16일 출고 변경

Concurrency Verification : Introduction to Compositional and Non-compositional Methods (Paperback)
Willem-Paul De Roever, Frank De Boer
Cambridge Univ Pr | 2012년 01월 | 2012년 01월
123,360원 (18% 할인 / 6,170원)
택배로 주문하면 10월 16일 출고 변경

Concurrency Verification : Introduction to Compositional and Non-compositional Methods (Hardcover)
W. P. De Roever, Frank De Boer , W. P. De Roever (엮은이)
Cambridge Univ Pr | 2001년 11월 | 2001년 11월
384,620원 (18% 할인 / 19,240원)
택배로 주문하면 10월 16일 출고 변경

Active Object Languages: Current Research Trends (Paperback, 2024)
Ferruccio Damiani, Frank De Boer, Reiner Haehnle (엮은이)
Springer | 2024년 01월 | 2024년 01월
113,040원 (10% 할인 / 5,660원)
택배로 주문하면 10월 8일 출고 변경

It's All about Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab (Paperback, 2018)
Frank De Boer, Jan Rutten, Marcello Bonsangue (엮은이)
Springer | 2018년 04월 | 2018년 04월
81,680원 (18% 할인 / 4,090원)
택배로 주문하면 10월 16일 출고 변경

Software Engineering and Formal Methods: 18th International Conference, Sefm 2020, Amsterdam, the Netherlands, September 14-18, 2020, Proceedings (Paperback, 2020)
Frank De Boer, Antonio Cerone (엮은이)
Springer | 2020년 09월 | 2020년 09월
83,970원 (18% 할인 / 4,200원)
택배로 주문하면 10월 16일 출고 변경

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

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

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

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

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

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