表紙画像: Tools and Algorithms for the Construction and Analysis of Systems 1st edition 9783642007675

Tools and Algorithms for the Construction and Analysis of Systems

15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings

1st 版

  • 著者 Stefan Kowalewski; Anna Philippou
  • 出版社 公開者： Springer 著作権 © 2009
  • "ISBN-13 9783642007675"
  • 形式 固定レイアウト

電子書籍

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

  • 学習ツール

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

  • 読み上げ

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

  • オフラインアクセス

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

  • グローバル検索

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

詳細を表示

Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings 1st 版 著者: Stefan Kowalewski; Anna Philippou 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Tools and Algorithms for the Construction and Analysis of Systems : 9783642007682, 3642007686 および 印刷版のISBNは 9783642007675, 3642007678. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

トップに戻る