Getting formatted datetime in Python like in PHP

Question

How to get formatted date time in Python the same way as in PHP date('M d Y', $timestamp);?

Answer 1

>>> import time
>>> timestamp = 1284375159
>>> time.strftime("%m %d %Y",time.localtime(timestamp))
'09 13 2010'