登入
選單
返回
Google圖書搜尋
Theoretical Foundations of Computer Science
Dino Mandrioli
Carlo Ghezzi
出版
Wiley
, 1987-05-15
主題
Computers / General
ISBN
0471838349
9780471838340
URL
http://books.google.com.hk/books?id=vKeEAAAAIAAJ&hl=&source=gbs_api
註釋
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.