有人在加州嘛?# Education - 教育学
s*x
1 楼
Mon Feb 4 07:27:17 2008 Pacific Time
ADVISORY for Saturday, June 21 - Awards Banquet in San Francisco
Association for Computing Machinery's Turing Award Honors Founders of
Automatic Verification Technology That Enables Faster, More Reliable Designs
; Researchers Created Model Checking Technique for Hardware and Software
Designers
NEW YORK, Feb. 4 (AScribe Newswire) -- ACM, the Association for
Computing Machinery, has named Edmund M. Clarke, E. Allen Emerson, and
Joseph Sifakis
ADVISORY for Saturday, June 21 - Awards Banquet in San Francisco
Association for Computing Machinery's Turing Award Honors Founders of
Automatic Verification Technology That Enables Faster, More Reliable Designs
; Researchers Created Model Checking Technique for Hardware and Software
Designers
NEW YORK, Feb. 4 (AScribe Newswire) -- ACM, the Association for
Computing Machinery, has named Edmund M. Clarke, E. Allen Emerson, and
Joseph Sifakis