전체보기

장바구니

Einar Broch Johnsen의 신간 소식을 구독하세요.

표지 보기 표지 안보기

보관함에 상품담기

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

장바구니에 상품담기

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

Tests and Proofs: 11th International Conference, Tap 2017, Held as Part of Staf 2017, Marburg, Germany, July 19-20, 2017, Proceedings (Paperback, 2017)
Einar Broch Johnsen, Sebastian Gabmeyer (엮은이)
Springer International Publishing AG | 2017년 06월 | 2017년 06월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 7일 출고 변경

Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday (Paperback, 2016)
Einar Broch Johnsen, Erika Abraham, Marcello Bonsangue (엮은이)
Springer | 2016년 03월 | 2016년 03월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 7일 출고 변경

Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference FMOODS 2007 Paphos, Cyprus, June 6-8, 2007 Proceedi (Paperback)
Marcello M. Bonsangue, Einar Broch Johnsen (엮은이)
Springer-Verlag New York Inc | 2007년 05월 | 2007년 05월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 7일 출고 변경

Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and (Paperback)
Einar Broch Johnsen, Manuel Wimmer (엮은이)
Springer | 2022년 03월 | 2022년 03월
61,480원 (18% 할인 / 3,080원)
택배로 주문하면 8월 7일 출고 변경

Software Engineering and Formal Methods: 16th International Conference, Sefm 2018, Held as Part of Staf 2018, Toulouse, France, June 27-29, 2018, Proc (Paperback, 2018)
Einar Broch Johnsen, Ina Schaefer (엮은이)
Springer International Publishing | 2018년 05월 | 2018년 05월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 7일 출고 변경

Service-Oriented and Cloud Computing: 6th Ifip Wg 2.14 European Conference, Esocc 2017, Oslo, Norway, September 27-29, 2017, Proceedings (Paperback, 2017)
Einar Broch Johnsen , Flavio De Paoli, Stefan Schulte (엮은이)
Springer-Verlag New York Inc | 2017년 09월 | 2017년 09월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 7일 출고 변경

Service-Oriented and Cloud Computing: 5th Ifip Wg 2.14 European Conference, Esocc 2016, Vienna, Austria, September 5-7, 2016, Proceedings (Paperback, 2016)
Marco Aiello, Schahram Dustdar, Einar Broch Johnsen (엮은이)
Springer | 2016년 08월 | 2016년 08월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 7일 출고 변경

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, (Paperback, 2015)
Marco Bernardo, Einar Broch Johnsen (엮은이)
Springer | 2015년 05월 | 2015년 05월
73,800원 (18% 할인 / 3,690원)
택배로 주문하면 8월 7일 출고 변경

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Sys (Paperback, 2014)
Marco Bernardo, Ferruccio Damiani, Einar Broch Johnsen, Reiner Haehnle, Ina Schaefer (엮은이)
Springer-Verlag New York Inc | 2014년 05월 | 2014년 05월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 7일 출고 변경

Integrated Formal Methods: 10th International Conference, Ifm 2013, Turku, Finland, June 10-14, 2013, Proceedings (Paperback, 2013) - 10th International Conference, Ifm 2013, Turku, Finland, June 10-14, 2013, Proceedings
Luigia Petre, Einar Broch Johnsen (엮은이)
Springer-Verlag New York Inc | 2013년 05월 | 2013년 05월
82,230원 (18% 할인 / 4,120원)
택배로 주문하면 8월 7일 출고 변경

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

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

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

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

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

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