Formal methods people
"Category Theory" in ''Stanford Encyclopedia of Philosophy'' plato stanford entries category theory
Category Theory
Virtual Museum of Computing
The Virtual Museum of Computing
Formal methods information homepages cliff jones home formal
Prof Cliff Jones
Personal home page homepages cliff jones
Cliff Jones
Publications research pubs authors
Publications by
Cliff
Jones, Computing Science, University of Newcastle
Official home page people home
Cliff Jones, Computing Science, University of Newcastle upon Tyne
DOMAIN 2002 Workshop on Domain Theory – held in honor of Scott's 70th birthday.
FLoC '02 - DOMAIN
Dana S. Scott's home page www
Dana Scott's Home Page
DBLP bibliography uni trier indices tree
DBLP: David May
David May's Transputer Page bris transputer
David May's Transputer Page
Home page bris
Home page of Prof. David May
Software Fundamentals: Collected Papers by David L. Parnas at Addison Wesley online bookstore
Software Fundamentals: Collected Papers by David L. Parnas - $34.97
On The Criteria To Be Used in Decomposing Systems into Modules classics
On the Criteria To Be Used in Decomposing Systems into
Modules
http://www.sqrl.ul.ie/Downloads/dlparnas%20vitae-pdf.pdf ( PDF)
Stay cool with www.froola.com.
University of Limerick profile and
McMaster University homepage parnas
Dr. David Lorge Parnas
RAISE information raise
The IMM/DTU RAISE Page
RAISE: Rigorous Approach to Industrial Software Engineering
Biographical information biodata
Dines Bjørner: Biographical Information
Home page
Dines Bjørner's Danish Home Page
Publications homepages pub
Personal home page homepages
Don Sannella
Offical home page people staff
Don Sannella
Donald MacKenzie faculty homepage at the University Edinburgh
SSPS: Staff Biographies: Donald MacKenzie
online edition (EWD215)
Go To Statement Considered Harmful
''How can we explain Edsger W. Dijkstra to those who didn't know him? by David Gries'' users memorial
Dijkstra Eulogy by David Gries
Dijkstra Eulogy by J Strother Moore users memorial moore
Dijkstra Eulogy by J Strother Moore
''Edsger Wybe Dijkstra (1930–2002): A Portrait of a Genius'' ( PDF) Obituary on Formal Aspects of Computing with a short biography
Biography, Digidome
Luca Cardelli's Font of Dijkstra's Handwriting (as a .zip file) demon fonts zip
Noorderlicht Interview Video, bandwidth options
Noorderlicht Noorderlicht Radio: Denken als discipline
Stay cool with http://www.froola.com. froola
Previous page
Next page
This article is licensed under the GNU Free Documentation License.
It uses material from the Wikipedia articles :
Category theory , Christopher Strachey , Cliff Jones , Dana Scott , David May (computer scientist) , David Parnas , Dines Bjørner , Donald MacKenzie , Don Sannella , Edsger Dijkstra , .
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".