OS

「ダイクストラ法の人」だけではない。最短経路、ALGOL 60、セマフォ、デッドロック、THE OS、GOTO論争、構造化プログラミング、形式手法、自己安定化まで、エドガー・W・ダイクストラの人生とコンピュータ科学の発展を一次資料からたどります。