表紙画像: Formal Techniques for Distributed Objects, Components, and Systems 9783031954962

Formal Techniques for Distributed Objects, Components, and Systems

45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16–20, 2025, Proceedings

  • 出版社 公開者： Springer 著作権 © 2025
  • "ISBN-13 9783031954962"
  • 形式 リフロー可能なレイアウト

電子書籍

eTextbookライセンス
‌
¥3,687 JPY
‌
‌

  • 学習ツール

    ハイライトなど組み込みの学習ツール

  • 読み上げ

    Bookshelf による読み上げを聞いて理解を進める

  • オフラインアクセス

    いつでもどこでも eTextbook にアクセス

  • グローバル検索

    書籍の内容、図表、ワークブックを横断的に検索できます。

詳細を表示

Formal Techniques for Distributed Objects, Components, and Systems: 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16–20, 2025, Proceedings 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Formal Techniques for Distributed Objects, Components, and Systems : 9783031954979, 3031954971 および 印刷版のISBNは 9783031954962, 3031954963. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

トップに戻る