전체보기

장바구니

Joost-Pieter Katoen의 신간 소식을 구독하세요.

표지 보기 표지 안보기

보관함에 상품담기

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

장바구니에 상품담기

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

Foundations of Probabilistic Programming (Hardcover)
Joost-Pieter Katoen, Gilles Barthe, Alexandra Silva (엮은이)
Cambridge University Press | 2020년 12월 | 2020년 12월
102,140원 (18% 할인 / 5,110원)
택배로 주문하면 7월 23일 출고 변경

Formal Methods : 25th International Symposium, FM 2023, Lubeck, Germany, March 6-10, 2023, Proceedings (Paperback)
Joost-Pieter Katoen, Martin Leucker, Chechik Marsha Chechik (엮은이)
Springer Nature B.V. | 2023년 03월 | 2023년 03월
72,950원 (18% 할인 / 3,650원)
택배로 주문하면 7월 26일 출고 변경

Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, Setta 2019, Shanghai, China, November 27-29, 2019, Pr (Paperback, 2019)
Joost-Pieter Katoen, Jun Sun, Nan Guan (엮은이)
Springer | 2019년 11월 | 2019년 11월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 5일 출고 변경

Modeled, Tested, Trusted: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday (Paperback, 2017)
Joost-Pieter Katoen, Arend Rensink, Rom Langerak (엮은이)
Springer | 2017년 09월 | 2017년 09월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 5일 출고 변경

Principles of Model Checking (Hardcover)
Christel Baier, Joost-Pieter Katoen , Kim G. Larsen
Mit Pr | 2008년 05월 | 2008년 05월
156,710원 (18% 할인 / 7,840원)
택배로 주문하면 7월 25일 출고 변경

Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3- (Paperback)
Joost-Pieter Katoen, Holger Hermanns, Brinksma Ed Brinksma (엮은이)
Springer Nature B.V. | 2014년 03월 | 2014년 03월
62,530원 (10% 할인 / 3,130원)
택배로 주문하면 7월 29일 출고 변경

Formal Methods: 25th International Symposium, FM 2023, L?eck, Germany, March 6-10, 2023, Proceedings (Paperback, 2023)
Joost-Pieter Katoen, Martin Leucker, Marsha Chechik (엮은이)
Springer | 2023년 03월 | 2023년 03월
164,490원 (18% 할인 / 8,230원)
택배로 주문하면 8월 5일 출고 변경

CONCUR 2011 -- Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings (Paperback)
Joost-Pieter Katoen, Barbara Konig (엮은이)
Springer-Verlag Berlin and Heidelberg GmbH & Co. K | 2011년 08월 | 2011년 08월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 5일 출고 변경

Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, Tacas 2002, Held as Part of the Joint European Confer (Paperback, 2002)
Perdita Stevens, Joost-Pieter Katoen
Springer Verlag | 2002년 03월 | 2002년 03월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 5일 출고 변경

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

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

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

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

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

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