Marco Bernardo의 신간 소식을 구독하세요.
신청
ㆍㆍㆍ
  • Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Softw (Paperback)
  • Marco Bernardo, Valerie Issarny (엮은이)
  • Springer-Verlag New York Inc | 2011년 06월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 2일 출고 변경
  • Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, (Paperback)
  • Marco Bernardo, Jane Hillston (엮은이)
  • Springer-Verlag New York Inc | 2007년 05월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 2일 출고 변경
  • Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings (Paperback)
  • Alessandro Aldini, Marco Bernardo, Luciano Bononi (엮은이)
  • Springer | 2010년 09월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 2일 출고 변경
  • Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm-M (Paperback, 2005)
  • Marco Bernardo, Alessandro Bogliolo (엮은이)
  • Springer Verlag | 2005년 04월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 2일 출고 변경
  • Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, (Paperback)
  • Marco Bernardo, Luca Padovani (엮은이)
  • Springer-Verlag New York Inc | 2009년 05월
  • 71,110원 (18% 할인 / 3,560원)
  • 택배로 주문하면 12월 2일 출고 변경
  • Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, (Paperback, 2006)
  • Marco Bernardo, Alessandro Cimatti (엮은이)
  • Springer-Verlag New York Inc | 2006년 05월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 2일 출고 변경
  • Probabilistic Trace and Testing Semantics: The Importance of Being Coherent (Paperback)
  • Marco Bernardo
  • Now Publishers | 2022년 08월
  • 91,840원 (18% 할인 / 4,600원)
  • 택배로 주문하면 11월 29일 출고 변경
  • Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software System (Paperback, 2012)
  • Marco Bernardo, Vittorio Cortellessa (엮은이)
  • Springer-Verlag New York Inc | 2012년 06월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 2일 출고 변경
  • Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software S (Paperback, 2008)
  • Marco Bernardo, Pierpaolo Degano (엮은이)
  • Springer-Verlag New York Inc | 2008년 05월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 2일 출고 변경
  • 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월
  • 74,290원 (18% 할인 / 3,720원)
  • 택배로 주문하면 12월 2일 출고 변경
  • Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm (Paperback, 2013)
  • Marco Bernardo, Erik De Vink (엮은이)
  • Springer-Verlag New York Inc | 2013년 06월
  • 71,190원 (18% 할인 / 3,560원)
  • 택배로 주문하면 12월 2일 출고 변경
  • Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems (Paperback, 2003)
  • Marco Bernardo, Paola Inverardi (엮은이)
  • Springer Verlag | 2003년 09월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 2일 출고 변경
  • Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Sys (Paperback, 2004)
  • Marco Bernardo, Flavio Corradini
  • Springer-Verlag New York Inc | 2004년 09월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 2일 출고 변경

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

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

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

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

1:1 문의

FAQ

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