Carcinogen 发表于 2025-3-25 04:38:47

http://reply.papertrans.cn/67/6673/667239/667239_21.png

蜈蚣 发表于 2025-3-25 08:54:45

Communicating Processes: An Example,In this chapter the theory developed above shall be applied to a non-trivial example, in order to demonstrate that the original aims are fulfilled. Moreover, the example leads to some ideas how the current state of development can be improved.

Medicaid 发表于 2025-3-25 15:28:25

http://reply.papertrans.cn/67/6673/667239/667239_23.png

并入 发表于 2025-3-25 16:18:47

http://reply.papertrans.cn/67/6673/667239/667239_24.png

brother 发表于 2025-3-25 21:42:14

https://doi.org/10.1007/978-1-4684-6834-2algebra; automata; formal language; graphs; homomorphism; logic; optimization; petri net; programming; term r

迅速成长 发表于 2025-3-26 02:45:45

http://reply.papertrans.cn/67/6673/667239/667239_26.png

Dissonance 发表于 2025-3-26 05:38:51

Nondeterminism in Algebraic Specifications and Algebraic Programs978-1-4684-6834-2

Synovial-Fluid 发表于 2025-3-26 10:43:37

http://reply.papertrans.cn/67/6673/667239/667239_28.png

即席 发表于 2025-3-26 14:05:45

Heinrich Hussmannus types of arthritis, fibromyalgia, and the complex regional pain syndrome. This handbook is an essential reference on musculoskeletal problems and injuries that proves itself indispensable to family physicians, general internists, general pediatricians, nurse practitioners, and physician assistants..978-0-387-29171-0978-0-387-38322-4

compel 发表于 2025-3-26 18:53:17

Heinrich Hussmannus types of arthritis, fibromyalgia, and the complex regional pain syndrome. This handbook is an essential reference on musculoskeletal problems and injuries that proves itself indispensable to family physicians, general internists, general pediatricians, nurse practitioners, and physician assistants..978-0-387-29171-0978-0-387-38322-4
页: 1 2 [3] 4 5
查看完整版本: Titlebook: Nondeterminism in Algebraic Specifications and Algebraic Programs; Heinrich Hussmann Book 1993 Birkhäuser Boston 1993 algebra.automata.for