强制性 发表于 2025-3-28 15:20:38

rum analysis, for high-speed analog/digital conversion, for a fiber-optic gyro, and for various high-per­ formance semiconductor laser sources. Before commercia978-3-662-13571-6978-3-540-39452-5Series ISSN 0342-4111 Series E-ISSN 1556-1534

MOTTO 发表于 2025-3-28 20:42:35

http://reply.papertrans.cn/35/3460/345905/345905_42.png

LAST 发表于 2025-3-29 01:56:50

http://reply.papertrans.cn/35/3460/345905/345905_43.png

callous 发表于 2025-3-29 06:12:38

http://reply.papertrans.cn/35/3460/345905/345905_44.png
页: 1 2 3 4 [5]
查看完整版本: Titlebook: Formal Specification Techniques for Engineering Modular C Programs; Yang Meng Tan Book 1996 Springer Science+Business Media New York 1996