Ferruccio Damiani의 신간 소식을 구독하세요.

표지 보기 표지 안보기

보관함에 상품담기

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

장바구니에 상품담기

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

Formal Verification of Object-Oriented Software: International Conference, Foveoo 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers (Paperback, 2012)
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov (엮은이)
Springer-Verlag New York Inc | 2012년 07월 | 2012년 07월
71,190원 (18% 할인 / 3,560원)
택배로 주문하면 9월 13일 출고 변경

Types for Proofs and Programs: International Workshop, Types 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers (Paperback, 2004)
Stefano Berardi, Ferruccio Damiani, Mario Coppo (엮은이)
Springer-Verlag New York Inc | 2004년 06월 | 2004년 06월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 9월 13일 출고 변경

Types for Proofs and Programs: International Conference, Types 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers (Paperback, 2009)
Stefano Berardi, Ferruccio Damiani, Liguoro, Ugo
Springer-Verlag New York Inc | 2009년 06월 | 2009년 06월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 9월 13일 출고 변경

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

Coordination Models and Languages: 23rd Ifip Wg 6.1 International Conference, Coordination 2021, Held as Part of the 16th International Federated Conf (Paperback, 2021)
Ferruccio Damiani, Ornela Dardha (엮은이)
Springer | 2021년 06월 | 2021년 06월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 9월 13일 출고 변경

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월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 9월 13일 출고 변경

Formal Methods for Components and Objects: 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Paperback, 2013) - 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Bernhard Beckert, Ferruccio Damiani (엮은이)
Springer-Verlag New York Inc | 2013년 01월 | 2013년 01월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 9월 13일 출고 변경

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

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

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

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

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

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