表紙画像: Formal Techniques for Distributed Systems 1st edition 9783642307928

Formal Techniques for Distributed Systems

Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings

1st 版

  • 著者 Holger Giese; Grigore Rosu
  • 出版社 公開者： Springer 著作権 © 2012
  • ISBN-13 9783642307928
  • 形式 固定レイアウト

電子書籍

eTextbookライセンス
‌
¥2,595 JPY
‌
‌

  • 学習ツール

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

  • 読み上げ

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

  • オフラインアクセス

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

  • グローバル検索

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

詳細を表示

VitalSource 25年以上のデジタルトランスフォーメーション

  • 4500 機関

  • 230以上 国と地域

  • 1000以上 出版社

  • 18万以上 アクティブユーザー

Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings 1st 版 著者: Holger Giese; Grigore Rosu 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Formal Techniques for Distributed Systems : 9783642307935, 3642307930 および 印刷版のISBNは 9783642307928, 3642307922. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

トップに戻る