Formal methods people
Photos vinci
Alan Turing - �������: ��� ������ Leonardo da Vinci
Stanford Encyclopedia of Philosophy entry plato stanford entries turing
Alan Turing
Turing 2004: A celebration of his life and achievements man logic
Turing 2004: A celebration of his life and achievements
Turing Day 2002
[ Turing Day ] - Welcome
The Turing Archive
Turing Digital Archive
Alan Turing and morphogenesis jonathan turing
Alan Turing and morphogenesis
Hollymeade unveiling of memorial plaque marking 50th anniversary of Turing's untimely death turing
Alan Turing - 50th Anniversary Plaque Unveiling
Skyscraper song inspired by Alan Turing skyscraper
skyscraper.org.uk
Computing machinery and intelligence — full text of article.
Computing Machinery and Intelligence A.M. Turing
Alan Turing – Towards a Digital Mind: Part 1 article
System Toolbox
A short biography turing
ALAN TURING
AlanTuring.net Turing Archive for the History of Computing by Jack Copeland
AlanTuring.net
short biography turing
Alan Turing: a short biography - 1
Alan Turing Home Page by Andrew Hodges including a
Alan Turing - Home Page
"The Emperor's Old Clothes" -- Hoare's 1980 ACM Turing Award speech, which discusses ALGOL history and his involvement
Profile wisdom math profile scientists profile
Amir Pnueli
Weizmann home page wisdom
Amir Pnueli's home page
Short biography faculty
Short biography of Amir Pnueli Harel
New York University home page faculty
Amir Pnueli's home page
How to pronounce his name in English images sounds
Critique of Meyer's "Software Construction" OOP Book
Critique of OOSC2 by Bertrand Meyer
''Software Development'' column columnists
Software Development>Bertrand Meyer
''The people behind Eiffel'' web page archive eiffel general people
The people behind Eiffel: Bertrand Meyer
DBLP Bibliography uni trier indices tree
DBLP: Bertrand Meyer
Bertrand Meyer home page
Bertrand Meyer's ETH home page
DBLP List of Publications uni trier indices tree
DBLP: A. W. Roscoe
Laboratory Home Page web lab people bill roscoe
Bill
Roscoe
Oxford University Computing Laboratory home page — Emeritus Professor of Computing
Tony
Hoare
Microsoft home page — short biography
Tony Hoare
DBLP bibliography has some additional bibiographic entries for Carl Hewitt.
DBLP: Carl Hewitt
Next page
This article is licensed under the GNU Free Documentation License.
It uses material from the Wikipedia articles :
Alan Turing , ALGOL , Amir Pnueli , Bertrand Meyer , Bill Roscoe , C. A. R. Hoare , Carl Hewitt , .
If you use exact copy or modified of this article you should preserve above paragraph and put also : It uses material from
the Froola link list about "Formal methods people".