Tools and Algorithms for the Construction and Analysis of Systems
23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

表紙画像: Tools and Algorithms for the Construction and Analysis of Systems 9783662545799
  • 著者
    Author
  • 出版社
    Springer
  • 形式
    リフロー可能なレイアウト
  • ISBNを印刷する 9783662545799, 3662545799
  • 電子教科書ISBN 9783662545805, 3662545802
  • 著作権
    2017
eTextbookライセンス
‌‌
¥2,595 JPY
‌

  • 学習ツール

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

  • 読み上げ

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

  • オフラインアクセス

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

  • グローバル検索

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

詳細を表示

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

  • 4500 機関

  • 230以上 国と地域

  • 1000以上 出版社

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

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II 著者: Author 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Tools and Algorithms for the Construction and Analysis of Systems : 9783662545805, 3662545802 および 印刷版のISBNは 9783662545799, 3662545799. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

トップに戻る