Cities with a population over 1000 database. 2013.
He Jifeng — (zh stp|s=何积丰|t=何積豐|p=Hé Jīfēng) is a Chinese computer scientist.He Jifeng was a Senior Research Fellow at the Programming Research Group in the Oxford University Computing Laboratory from 1984 to 1998. He worked extensively on formal aspects of… … Wikipedia
RCOS — is a relational semantic model and refinement calculus for object oriented and component based software development. It was originally developed by He Jifeng, Zhiming Liu and Xiaoshan Li at UNU IIST. It supports both state based and event based… … Wikipedia
B4free — Méthode B Wikibooks propose un ouvrage abordant ce sujet : la méthode B … Wikipédia en Français
Click'n'Prove — Méthode B Wikibooks propose un ouvrage abordant ce sujet : la méthode B … Wikipédia en Français
Methode B — Méthode B Wikibooks propose un ouvrage abordant ce sujet : la méthode B … Wikipédia en Français
Méthode B — La méthode B est une méthode formelle de développement logiciel qui permet de modéliser de façon abstraite dans le langage de B le comportement d un programme, puis par raffinements successifs, d aboutir à un modèle concret, sous ensemble du… … Wikipédia en Français
C. A. R. Hoare — Infobox Scientist name = Charles Antony Richard Hoare image width = 150px birth date = birth date and age|1934|1|11 birth place = Colombo, Sri Lanka field = Computer Scientist work institution = Elliott Brothers Queen s University of Belfast… … Wikipedia
Zhou Enlai — This is a Chinese name; the family name is Zhou. Zhou Enlai 周恩来 1st Premier of the People s Republic of China In offic … Wikipedia
Denotational semantics — In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach to formalizing the meanings of programming languages by constructing mathematical objects (called denotations)… … Wikipedia
Chang-Lin Tien — Seventh Chancellor University of California, Berkeley Term 1990 – 1997 Born July 24, 1935(1935 07 24) … Wikipedia
