登入選單
返回Google圖書搜尋
Theoretical Foundations of Computer Science
註釋Explores basic concepts of theoretical computer science and shows how they apply to current programming practice. Coverage ranges from classical topics, such as formal languages, automata, and compatibility, to formal semantics, models for concurrent computation, and program semantics.