... logic c complexity 逻辑复杂性 logic c design 逻辑设计 logic c element 逻辑元件 ...
基于9个网页-相关网页
automatic c logic design 自动逻辑设计
logic c design
逻辑设计
以上为机器翻译结果,长、整句建议使用 人工翻译 。
In terms of the authors sketch of design and verification of safety programs, a pointer logic system is designed for a subset of C-like language.
文中根据作者所设想的安全程序的设计和证明框架,为类c语言的一个子集设计了一个指针逻辑系统。
youdao
应用推荐
模块上移
模块下移
不移动