Tiziana Margaria의 신간 소식을 구독하세요.
신청
ㆍㆍㆍ
  • Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, Isola 2018, Limassol, Cyprus, Novem (Paperback, 2018)
  • Tiziana Margaria, Bernhard Steffen (엮은이)
  • Springer-Verlag New York Inc | 2018년 10월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 5일 출고 변경
  • Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, Isola 2018, Limassol, Cyprus (Paperback, 2018)
  • Tiziana Margaria, Bernhard Steffen (엮은이)
  • Springer-Verlag New York Inc | 2018년 10월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 5일 출고 변경
  • Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, Isola 2016, Imperial, Co (Paperback, 2016)
  • Tiziana Margaria, Bernhard Steffen (엮은이)
  • Springer | 2016년 10월
  • 154,750원 (18% 할인 / 7,740원)
  • 택배로 주문하면 12월 5일 출고 변경
  • Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15- (Paperback, 2012) - 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings
  • Tiziana Margaria, Bernhard Steffen (엮은이)
  • Springer-Verlag New York Inc | 2012년 09월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 5일 출고 변경
  • Services and Visualization: Towards User-Friendly Design: Acos'98, Visual'98, Ain'97, Selected Papers (Paperback, 1998)
  • Tiziana Margaria, Bernhard Steffen (엮은이)
  • Springer Verlag | 1998년 03월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 5일 출고 변경
  • Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, Isola 2024, Cret (Paperback, 2024)
  • Springer | 2024년 10월
  • 125,980원 (10% 할인 / 3,780원)
  • 택배로 주문하면 11월 20일 출고 변경
  • Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, Isola 2018, Limassol, Cyprus, November (Paperback, 2018)
  • Tiziana Margaria, Bernhard Steffen (엮은이)
  • Springer-Verlag New York Inc | 2018년 10월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 5일 출고 변경
  • Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, Tacas 2017, Held as Part of the European Joint Confe (Paperback, 2017)
  • Tiziana Margaria, Axel Legay (엮은이)
  • Springer | 2017년 03월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 5일 출고 변경
  • Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, (Paperback)
  • Tiziana Margaria, Bernhard Steffen (엮은이)
  • Springer-Verlag New York Inc | 2008년 10월
  • 248,390원 (18% 할인 / 12,420원)
  • 택배로 주문하면 12월 5일 출고 변경
  • Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, Isola 2024, Crete, Greece, Oc (Paperback, 2024)
  • Springer | 2024년 10월
  • 86,600원 (10% 할인 / 2,600원)
  • 택배로 주문하면 11월 20일 출고 변경
  • Leveraging Applications of Formal Methods, Verification and Validation. Reocas Colloquium in Honor of Rocco de Nicola: 12th International Symposium, I (Paperback, 2025)
  • Tiziana Margaria, Bernhard Steffen (엮은이)
  • Springer | 2024년 10월
  • 125,980원 (10% 할인 / 3,780원)
  • 택배로 주문하면 11월 20일 출고 변경
  • Engineering of Computer-Based Systems: 8th International Conference, Ecbs 2023, V?ter?, Sweden, October 16-18, 2023, Proceedings (Paperback, 2024)
  • Tiziana Margaria, Cristina Seceleanu, Jan Kofroň (엮은이)
  • Springer | 2023년 11월
  • 102,350원 (10% 할인 / 3,080원)
  • 택배로 주문하면 11월 20일 출고 변경
  • Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, Isola 2018, Limassol, Cyprus (Paperback, 2018)
  • Tiziana Margaria, Bernhard Steffen (엮은이)
  • Springer-Verlag New York Inc | 2018년 10월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 5일 출고 변경
  • Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, Isola 2014, Im (Paperback, 2014)
  • Tiziana Margaria, Bernhard Steffen (엮은이)
  • Springer-Verlag New York Inc | 2014년 10월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 5일 출고 변경
  • Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010 Heraklion, (Paperback)
  • Tiziana Margaria (엮은이)
  • Springer-Verlag New York Inc | 2010년 10월
  • 82,780원 (18% 할인 / 4,140원)
  • 택배로 주문하면 12월 5일 출고 변경
  • Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, Isola 2024, (Paperback, 2024)
  • Springer | 2024년 10월
  • 118,100원 (10% 할인 / 3,550원)
  • 택배로 주문하면 11월 20일 출고 변경
  • Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Sympos (Paperback, 2024)
  • Springer | 2024년 10월
  • 118,100원 (10% 할인 / 3,550원)
  • 택배로 주문하면 11월 20일 출고 변경
  • Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, Tacas 2017, Held as Part of the European Joint Confe (Paperback, 2017)
  • Tiziana Margaria, Axel Legay (엮은이)
  • Springer | 2017년 03월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 5일 출고 변경
  • Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, Isola 20 (Paperback, 2016)
  • Tiziana Margaria, Bernhard Steffen (엮은이)
  • Springer | 2016년 10월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 5일 출고 변경
  • Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, Isola 20 (Paperback, 2014)
  • Tiziana Margaria, Bernhard Steffen (엮은이)
  • Springer-Verlag New York Inc | 2014년 10월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 5일 출고 변경

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

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

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

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

1:1 문의

FAQ

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