作者：Egon Börger,Gerhard Jäger,Hans Kleine Büning,Simone Martini,Michael M. Richter
主题词：Computer Science,Theory of Computation,Software Engineering,Programming and Operating Systems,Mathematical Logic and Foundations,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Algorithm Analysis and Problem Complexity
问图书管理员
馆际互借
查看订购单位