strftime(), formatted date-time string

>>> import time
>>> time.strftime("%d %b %Y %H:%M:%S", time.localtime())
'15 Dec 2011 11:39:54'