Intensional Programming II 在線電子書 圖書標籤:
發表於2024-11-26
Intensional Programming II 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
There is a growing interest in programming languages and systems based on nonclassical logics such as temporal logics, interval logics, modal and intuitionistic logics. In fact, a whole new programming paradigm called "intensional programming" has been created, with applications in a wide range of areas, including parallel programming, dataflow computation, temporal reasoning, scientific computation, real-time programming, temporal and multidimensional databases, spreadsheets, attribute grammars, and Internet programming. This volume presents ongoing research as well as future directions of this new and fascinating area of research.
評分
評分
評分
評分
Intensional Programming II 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024