 |
 |
 |
-
61642 Results for
- Gansu
- Gaoxiong
- Guangxi
- Guangzhou
- Han Shaogong
- Hangzhou
- Heilongjiang
- Hubei
- Jiangsu
- Jinan
- Kunming
- Lanzhou
- Mu Shiying
- Nanjing
- Qingdao Next names
Previous names
Some info about DUTCH
Gerard J. Holzmann
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
Category
SCIENCES
Gerard J. Holzmann is a Dutch-American computer scientist and researcher at Bell Labs and NASA, best known as the developer of the SPIN model checker.[1]
Wikipedia contributors, "Gerard J. Holzmann," Wikipedia, The Free Encyclopedia,
ABOUT THE DUTCH LANGUAGE