作者:Shmuel Tomi Klein,Carlos Martín-Vide,Dana Shapira
主题词:Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Algorithm Analysis and Problem Complexity,Programming Techniques,Probability and Statistics in Computer Science