作者:Wilfried Brauer,Hartmut Ehrig,Juhani Karhumäki,Arto K. Salomaa
主题词:Computer Science,Programming Techniques,Computer System Implementation,Computation by Abstract Devices,Algorithm Analysis and Problem Complexity,Logics and Meanings of Programs,Data Structures