ハイライトなど組み込みの学習ツール
Bookshelf による読み上げを聞いて理解を進める
いつでもどこでも eTextbook にアクセス
書籍の内容、図表、ワークブックを横断的に検索できます。
Using Event-B for Critical Device Software Systems 著者: Neeraj Kumar Singh 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Using Event-B for Critical Device Software Systems : 9781447152606, 1447152603 および 印刷版のISBNは 9781447152590, 144715259X. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。
