表紙画像: Verified Software. Theories, Tools, and Experiments 1st edition 9783030415990

Verified Software. Theories, Tools, and Experiments

11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers

1st 版

  • 著者 Supratik Chakraborty; ‎Jorge A. Navas
  • 出版社 公開者： Springer 著作権 © 2020
  • "ISBN-13 9783030415990"
  • 形式 リフロー可能なレイアウト

電子書籍

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

  • 学習ツール

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

  • 読み上げ

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

  • オフラインアクセス

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

  • グローバル検索

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

詳細を表示

Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers 1st 版 著者: Supratik Chakraborty; ‎Jorge A. Navas 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Verified Software. Theories, Tools, and Experiments : 9783030416003, 3030416003 および 印刷版のISBNは 9783030415990, 3030415996. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

トップに戻る