祖先
发表于 2025-3-28 18:23:55
Dipak Basu,Victoria Miroshniktailed investigation into the logical foundations of specification and specification languages and their application to the definition of programming languages, coupled with a clear exposition of theories of data and computable models as mathematical notions will be welcomed by researchers and graduate students..978-1-84996-818-8978-1-84882-052-4
atopic-rhinitis
发表于 2025-3-28 21:37:56
http://reply.papertrans.cn/47/4635/463465/463465_42.png
Carbon-Monoxide
发表于 2025-3-29 00:15:27
Dipak Basu,Victoria Miroshniktailed investigation into the logical foundations of specification and specification languages and their application to the definition of programming languages, coupled with a clear exposition of theories of data and computable models as mathematical notions will be welcomed by researchers and graduate students..978-1-84996-818-8978-1-84882-052-4