Antonio Cerone의 신간 소식을 구독하세요.

표지 보기 표지 안보기

보관함에 상품담기

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

장바구니에 상품담기

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

Formal Methods - Fun for Everybody: First International Workshop, Fmfun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers (Paperback, 2021)
Antonio Cerone, Markus Roggenbach (엮은이)
Springer | 2021년 03월 | 2021년 03월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 11월 25일 출고 변경

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Hardcover, 2021)
Antonio Cerone, Gerardo Schneider, Markus Roggenbach, Bernd-Holger Schlingloff, Siraj Ahmed Shaikh
Springer | 2022년 06월 | 2022년 06월
116,060원 (18% 할인 / 5,810원)
택배로 주문하면 11월 25일 출고 변경

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability: Sefm 2012 Satellite Events, Insuedu, Mokmasd, and (Paperback, 2014)
Antonio Cerone, Donatella Persico, Sara Fernandes (엮은이)
Springer | 2014년 03월 | 2014년 03월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 11월 25일 출고 변경

Theoretical Aspects of Computing -- ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011, Proceedings (Paperback)
Antonio Cerone, Pekka Pihlajasaari (엮은이)
Springer-Verlag New York Inc | 2011년 08월 | 2011년 08월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 11월 25일 출고 변경

Formal Methods for an Informal World: Ictac 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures (Paperback, 2023)
Antonio Cerone (엮은이)
Springer | 2023년 11월 | 2023년 11월
85,980원 (10% 할인 / 2,580원)
택배로 주문하면 11월 8일 출고 변경

Software Engineering and Formal Methods. Sefm 2021 Collocated Workshops: Cifma, Cosim-Cps, Opencert, Asyde, Virtual Event, December 6-10, 2021, Revise (Paperback, 2022)
Antonio Cerone, Pierluigi Graziani, Marco Autili, Alessio Bucaioni, Claudio Gomes (엮은이)
Springer | 2022년 09월 | 2022년 09월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 11월 25일 출고 변경

Software Engineering and Formal Methods: Sefm 2017 Collocated Workshops: Datamod, Faacs, Mse, Cosim-CPS, and Foclasa, Trento, Italy, September 4-5, 20 (Paperback, 2018)
Antonio Cerone, Marco Roveri (엮은이)
Springer | 2018년 02월 | 2018년 02월
114,520원 (18% 할인 / 5,730원)
택배로 주문하면 11월 25일 출고 변경

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Paperback, 2022)
Antonio Cerone, Markus Roggenbach, Bernd-Holger Schlingloff
Springer | 2023년 06월 | 2023년 06월
93,800원 (10% 할인 / 2,820원)
택배로 주문하면 11월 8일 출고 변경

Theoretical Aspects of Computing - Ictac 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings (Paperback, 2021)
Antonio Cerone, Peter Csaba Olveczky (엮은이)
Springer | 2021년 08월 | 2021년 08월
116,060원 (18% 할인 / 5,810원)
택배로 주문하면 11월 25일 출고 변경

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월
85,100원 (18% 할인 / 4,260원)
택배로 주문하면 11월 25일 출고 변경

Theoretical Aspects of Computing - Ictac 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings (Paperback, 2006)
Ana Cavalcanti, Kamel Barkaoui, Antonio Cerone (엮은이)
Springer-Verlag New York Inc | 2006년 10월 | 2006년 10월
77,360원 (18% 할인 / 3,870원)
택배로 주문하면 11월 25일 출고 변경

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

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

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

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

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

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