表紙画像: Logic and Program Semantics 1st edition 9783642294846

Logic and Program Semantics

Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

1st 版

  • 著者 Robert L. Constable; ‎Alexandra Silva
  • 出版社 公開者： Springer 著作権 © 2012
  • "ISBN-13 9783642294846"
  • 形式 固定レイアウト

電子書籍

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

  • 学習ツール

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

  • 読み上げ

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

  • オフラインアクセス

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

  • グローバル検索

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

詳細を表示

Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday 1st 版 著者: Robert L. Constable; ‎Alexandra Silva 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Logic and Program Semantics : 9783642294853, 3642294855 および 印刷版のISBNは 9783642294846, 3642294847. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

トップに戻る