Formal Techniques For Distributed Objects Components And Systems by Springer International Publishing AG Paperback

₩138,890
+ ₩44,649 배송

Formal Techniques For Distributed Objects Components And Systems by Springer International Publishing AG Paperback

  • 브랜드: Unbranded

Formal Techniques For Distributed Objects Components And Systems by Springer International Publishing AG Paperback

  • 브랜드: Unbranded
가격: ₩138,890
판매자::
₩138,890
+ ₩44,649 배송

재고에 1개만 남음

14일 반품 정책

결제 방법:

설명

Formal Techniques For Distributed Objects Components And Systems by Springer International Publishing AG Paperback

This book constitutes the refereed proceedings of the 42nd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.The 12 regular papers presented were carefully reviewed and selected from 28 submissions. They cover topics such as: software quality, reliability, availability, and safety; security, privacy, and trust in distributed andor communicating systems; service-oriented, ubiquitous, and cloud computing systems; component-and model-based design; object technology, modularity, and software adaptation; self-stabilisation and self-healingorganising; and verification, validation, formal analysis, and testing of the above.
  • 브랜드: Unbranded
  • 카테고리: Education
  • 출판사/레이블: Springer Internation
  • 페이지 수: 209
  • 형식: Paperback
  • 언어: English
  • 저자: Springer Internation
  • Fruugo ID: 435243322-912895252
  • ISBN: 9783031086786

배송 및 반품

24시간 이내에 발송됨

  • STANDARD: ₩44,649 - 배달 사이 금 02 1월 2026–목 08 1월 2026

영국에서 발송.

당사는 귀하께서 주문하신 제품이 주문 명세에 따라 빠짐없이 배송되도록 온 힘을 기울이고 있습니다. 다만, 주문하신 것과 다른 상품이 배송되거나 빠진 상품이 있는 경우, 또는 주문 내용에 만족할 수 없는 다른 이유가 있는 경우에는 주문 전체나 주문에 포함된 일부 제품을 반품하시고 해당 상품에 대해 전액 환불받으실 수 있습니다. 전체 반품 정책 보기