ハイライトなど組み込みの学習ツール
Bookshelf による読み上げを聞いて理解を進める
いつでもどこでも eTextbook にアクセス
書籍の内容、図表、ワークブックを横断的に検索できます。
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach 著者: Robert P. Kurshan 出版 Princeton University Press. 以下のデジタルおよびeTextbook ISBNs: Computer-Aided Verification of Coordinating Processes : 9781400864041, 1400864046 および 印刷版のISBNは 9780691606057, 0691606056. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。 この eTextbook の追加の ISBN には次のものがあります: 9780691034362, 9780691634890.
