Automated Technology for Verification and Analysis
20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings

表紙画像: Automated Technology for Verification and Analysis 9783031199912
eTextbook をレンタルまたは購入する
¥4,253 JPY

学生向けeTextbookリーダーで世界No.1。 VitalSourceは、オンライン教科書とコース教材の大手販売会社です。1,500万人以上のユーザーが当社のBookshelfを使用しています 学習体験を向上させるための昨年のプラットフォームと 結果。いつでも、どこからでもアクセスでき、次のような組み込みツールを備えています 蛍光ペン、フラッシュカード、学習グループ、その理由は簡単にわかります 多くの学生がBookshelfでデジタル化しています。

  • 270万以上 1,000社を超える出版社から入手可能なタイトル

  • 65,000 を超える 利用者からの平均評価は9.5

  • 50 億を超える 過去12ヶ月間に閲覧されたデジタルページ

  • 7,000を超える Bookshelf を使用している 241 か国の機関