Dr. Leslie Lamport


"Thinking for Programmers"

(Gemeinsames Kolloquium der TU-Kaiserslautern und der Universität des Saarlandes)

There is a very effective software development tool that is not used nearly enough--the brain. The many impediments to its proper use devised by computer scientists can be overcome.

Zeit: Montag, 09.05.2005, 17.15 Uhr
Ort: Gebäude 57, Raum 208/210