作者:Edward A. Hirsch,Sergei O. Kuznetsov,Jean-Éric Pin,Nikolay K. Vereshchagin
主题词:Algorithm Analysis and Problem Complexity,Discrete Mathematics in Computer Science,Computation by Abstract Devices,Numeric Computing,Logics and Meanings of Programs,Mathematical Logic and Formal Languages