Dr. Leslie Lamport

(Microsoft)

"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