E. Allen Emerson (Q92821)
Salta a la navegació
Salta a la cerca
American computer scientist anglès
- Ernest Allen Emerson
Llengua | Etiqueta | Descripció | També conegut com a |
---|---|---|---|
català | E. Allen Emerson |
Encara no s'ha definit cap descripció |
|
anglès | E. Allen Emerson |
American computer scientist |
|
Declaracions
2 referències
24 abr 2014
1998
For their invention of symbolic model checking, a method of formally checking system designs, which is widely used in the computer hardware industry and is beginning to show significant promise also in software verification and other areas. (anglès)
Identificadors
E. Allen Emerson
William L. Hosch
0 referències
Enllaços de llocs
Viquipèdia(24 entrades)
- arwiki ألين إيمرسون
- arzwiki الين ايمرسون
- azbwiki ارنست آلن امرسون
- bnwiki আর্নেস্ট অ্যালেন এমারসন
- cawiki E. Allen Emerson
- cswiki E. Allen Emerson
- dewiki Allen Emerson
- enwiki E. Allen Emerson
- eowiki E. Allen Emerson
- eswiki E. Allen Emerson
- fawiki ارنست آلن امرسون
- frwiki Allen Emerson
- jawiki アレン・エマーソン
- mgwiki Allen Emerson
- nlwiki E. Allen Emerson
- plwiki Allen Emerson
- ptwiki Ernest Allen Emerson
- rowiki E. Allen Emerson
- ruwiki Эмерсон, Эрнест Аллен
- skwiki Ernest Allen Emerson
- srwiki Ален Емерсон
- trwiki E. Allen Emerson
- ukwiki Ернест Аллен Емерсон
- zhwiki 艾伦·爱默生