ullman中文什么意思

厄尔曼

乌尔曼

• ricky ullman:    里基・乌尔曼
• samuel ullman:    厄尔曼; 塞谬尔乌尔曼; 乌尔曼
• tracey ullman:    崔茜・尤玛; 尤玛

例句与用法

更多例句：  上一页  

1. 6 clarke e m , emerson e a , sistla a p . automatic verification of finite - state concurrent systems using temporal logic specifications . acm transactions on programming languages and systems , 1986 , 8 : 244 - 263 . 7 aho a v , hopcroft j e , ullman j d . the design and analysis of computer algorithms
   Model checking过去主要是作为一种验证技术被广为使用的，本文作者通过对dmc以及后续工程项目的研究发现， model checking完全可以作为一种计算技术被广泛使用，就相当于已经成为经典编译技术yacc在软件开发的各个层面上被广泛使用一样。