登入選單

返回Google圖書搜尋

Fundamentals of Computing for Software Engineers

Murat TanikEric S. Chan

出版	Van Nostrand Reinhold, 1991
主題	Computers / Programming / GeneralComputers / Languages / GeneralComputers / Software Development & Engineering / General
ISBN	04420052539780442005252
URL	http://books.google.com.hk/books?id=rrNQAAAAMAAJ&hl=&source=gbs_api

註釋

Formal systems of logic, set theory, and model theory; Recursive functions and computability; Computational structures for the lambda calculus; Nondeterministic and concurrent computing agents; Computing model for interpreting the process interaction structured specification; Computer-aided tools in computing; A view of future.