C에서 함수(printf) 호출전 그 함수(printf)에 파라미터(a++)를 전달할때 스택에 넣어 전달합니다. 또 스택에 저장될때 마지막 파라미터부터 역순으로 차례로 push됩니다.

printf("%d %d %d %d\n", a++, a++, a++, a++);

현재 a에 10이 저장되어 있으며 위 printf의 제일 마지막에 있는 a++에서 a인 10이 push되고 다음 ++로 인해 a가 11이되죠. 그 다음 파라미터(뒤에서 두번째) a++에서 11이 push되고 ++로 인해 a는 12가 됩니다. 이런식으로 4개의 파라미터를 모두 push하면 스택에 push된 값은 13,12,11,10 이 되고 a값은 14가 될것입니다. 그래서 출력이 13 12 11 10으로 나오는 것입니다.
두번째 printf에서도 마찬가지겠죠? 다만 ++이 앞에 있어 push되기 전에 1이 증가한다는 차이입니다.
파라미터를 전달하는 방식이나 함수내에서 참조하는 방식은 컴파일러마다 다릅니다. VC에서 10 10 10 10의 결과를 내는것은 ++이 뒤에 있을때 printf 함수 이후에 a를 1 증가시키기 때문일것입니다. 컴파일러가 C로 코딩된 문장을 어떻게 해석하는지는 일반적으로 -S 옵션을 사용해 어셈블리어로 바꿔보면 알수 있습니다. 예를 들어 BC++ 3.1이나 Turbo C++ 3.1의 경우 bcc -S test.c 또는 tcc -S test.c 를 해서 나온 test.asm을 보면 알 수 있습니다. 어셈블리 언어 또한 기계어를 사람이 이해하기 쉽게 ADD, PUSH 등으로 바꾼것이니깐 어셈블리어를 모르시더라도 어느정도 이해가 되실것입니다.

궁금녀 님이 쓰신 글 :
: 안녕하세요...
:
: 다음과 같은 프로그램에서
: void main()
: {
:         int a=10, b=10;
:         printf("%d %d %d %d\n", a++, a++, a++, a++);
:         printf("%d %d %d %d\n", ++b, ++b, ++b, ++b);
: }
:
: 출력은
: 13  12  11  10
: 14  13  12  11
: 이렇게 나오는데요..
: 왜 10 11 12 13
:    11 12 13 14 로 출력되지 않는지 궁금합니다.
:
: 그리고 turbo C에서 출력한 결과와 VC++에서 출력한 결과가 상이한데요..
: VC++에서 출력하니
: 10 10 10 10
: 14 13 12 11 로 출력이 되는데..왜 이런 차이가 있는지도 궁금합니다.
:
: 너무너무 궁금합니다..
: 답변 부탁드리겠습니다.