이전
전체보기

알라딘

장바구니
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월
  • 76,850원 (18% 할인 / 3,850원)
  • 택배로 주문하면 8월 6일 출고 변경
  • 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월
  • 76,850원 (18% 할인 / 3,850원)
  • 택배로 주문하면 8월 6일 출고 변경
  • 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월
  • 153,730원 (18% 할인 / 7,690원)
  • 택배로 주문하면 8월 6일 출고 변경
  • 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월
  • 76,850원 (18% 할인 / 3,850원)
  • 택배로 주문하면 8월 6일 출고 변경
  • 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월
  • 76,850원 (18% 할인 / 3,850원)
  • 택배로 주문하면 8월 6일 출고 변경
  • 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월
  • 76,850원 (18% 할인 / 3,850원)
  • 택배로 주문하면 8월 6일 출고 변경
  • 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월
  • 76,850원 (18% 할인 / 3,850원)
  • 택배로 주문하면 8월 6일 출고 변경
  • 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월
  • 246,740원 (18% 할인 / 12,340원)
  • 택배로 주문하면 8월 6일 출고 변경
  • 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월
  • 101,620원 (10% 할인 / 3,050원)
  • 택배로 주문하면 7월 22일 출고 변경
  • 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월
  • 76,850원 (18% 할인 / 3,850원)
  • 택배로 주문하면 8월 6일 출고 변경
  • 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월
  • 76,850원 (18% 할인 / 3,850원)
  • 택배로 주문하면 8월 6일 출고 변경
  • 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,230원 (18% 할인 / 4,120원)
  • 택배로 주문하면 8월 6일 출고 변경
  • 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월
  • 76,850원 (18% 할인 / 3,850원)
  • 택배로 주문하면 8월 6일 출고 변경
  • 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월
  • 76,850원 (18% 할인 / 3,850원)
  • 택배로 주문하면 8월 6일 출고 변경
  • 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월
  • 76,850원 (18% 할인 / 3,850원)
  • 택배로 주문하면 8월 6일 출고 변경
  • 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월
  • 76,850원 (18% 할인 / 3,850원)
  • 택배로 주문하면 8월 6일 출고 변경
  • 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월
  • 164,490원 (18% 할인 / 8,230원)
  • 택배로 주문하면 8월 6일 출고 변경

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

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

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

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

1:1 문의

FAQ

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