 |
 |
 |
-
62133 Results for
- Shijiazhuang
- Taibei
- Taiwan
- Xizang
- Zhejiang
- Şeyh Gâlib
- 'Adab
- 'Adeela
- 'adhan
- Mamdouh 'Adwan
- 'ahad
- 'ahkam
- 'Ahl al-Bayt
- 'Ahl al-Fatrah
- 'akhirah 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