登入
選單
返回
Google圖書搜尋
Deductive and Declarative Programming
P. Padawitz
Peter Padawitz
出版
Cambridge University Press
, 2006-11-23
主題
Computers / Programming / General
Computers / Languages / General
Mathematics / Discrete Mathematics
ISBN
0521032512
9780521032513
URL
http://books.google.com.hk/books?id=zZAMGu-bd6cC&hl=&source=gbs_api
註釋
The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.