[직수입양서]
Verified Software: Theories, Tools, Experiments: 4th International Conference, Vstte 2012, Philadelphia, Pa, Usa, January 28-29, 2012 Proceedings
[ Paperback ]
Joshi, Rajeev (EDT) / Muller, Peter (EDT) / Podelski, Andreas (EDT)
Springer
10%
116,410원
포인트적립5,830원
Paperback