|
- Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selec (Paperback)
- Jim Davies, Leila Silva, Adenilso Simao (엮은이)
- Springer | 2011년 03월 | 2011년 03월
- 77,360원 (18% 할인 / 3,870원)
- 택배로 주문하면 9월 13일 출고 변경
|
|