This textbook is in beta release. Do not use this without permission from Andrew Appel. This elec... This textbook is in beta release. Do not use this without permission from Andrew Appel. This electronic book is Volume 3 of the Software Foundations series, which presents the mathematical underpinnings of reliable software. In this volume you will learn how to specify and verify (prove the correctness of) sorting algorithms, binary search trees, balanced binary search trees, and priority queues.
記事へのコメント0件
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています