"format C:" ist der richtige Befehl. Der funktioniert allerdings nicht unter "Ausführen", sondern nur unter "cmd". Und dies auch nicht bei einem laufenden Windows. Am besten formatierst du also von der CD beim Start des PCs.